Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

HOWARD-60: Volume Information

HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday

Editors: Andrei Voronkov and Margarita Korovina

EPiC Series in Computing•Volume 42

18 articles•319 pages•Published: February 12, 2014

Papers

Howard Barringer: the Man who Invented the Past

1-12

Model checking Timed CSP

Philip Armstrong, Gavin Lowe, Joël Ouaknine and Bill Roscoe

13-33

A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines

Graham Birtwistle and Kenneth S. Stevens

34-65

Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems

Howard Bowman and Li Su

66-84

On and On the Temporal Way

Clare Dixon and Michael Fisher

85-111

On the Expressiveness of some Runtime Validation Techniques

Yliès Falcone, Jean-Claude Fernandez and Mounier Laurent

112-123

Can a system learn from interactive proofs?

Leo Freitas, Cliff B. Jones and Andrius Velykis

124-139

The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation

Michael Abraham, Dov Gabbay and Uri J. Schild

140-164

A simple and complete model theory for intensional and extensional untyped λ-equality

165-177

Stone duality for first-order logic: a nominal approach to logic and topology

Murdoch J. Gabbay

178-209

Closing the Gap Between Specification and Programming: VDM++ and Scala

210-233

Model Check What You Can, Runtime Verify the Rest

Timothy L. Hinrichs, A. Prasad Sistla and Lenore D. Zuck

234-244

On Incremental Quantitative Verification for Probabilistic Systems

Marta Kwiatkowska, David Parker, Hongyang Qu and Mateusz Ujma

245-257

Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper and Erik J. Luit

258-270

Distributed Control Synthesis

Doron Peled and Sven Schewe

271-288

A note on first-order reasoning for minimum models

David Rydeheard and Jesús Héctor Domínguez Sánchez

289-305

A Tableau Proof System with Names for Modal Mu-calculus

306-318

Extended Abstract: Getting Engaged

319

Keyphrases

.