HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

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

Editors: Andrei Voronkov and Margarita Korovina
18 articles•319 pages•Published: February 12, 2014

Papers

Howard Barringer: the Man who Invented the Past
Klaus Havelund
Pages 1-12
Model checking Timed CSP
Philip Armstrong, Gavin Lowe, Joel Ouaknine and Bill Roscoe
Pages 13-33
A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines
Graham Birtwistle and Ken Stevens
Pages 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
Pages 66-84
On and On the Temporal Way
Clare Dixon and Michael Fisher
Pages 85-111
On the Expressiveness of some Runtime Validation Techniques
Ylies Falcone, Jean-Claude Fernandez and Laurent Mounier
Pages 112-123
Can a system learn from interactive proofs?
Leo Freitas, Cliff Jones and Andrius Velykis
Pages 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
Pages 140-164
A simple and complete model theory for intensional and extensional untyped λ-equality
Michael Gabbay
Pages 165-177
Stone duality for first-order logic: a nominal approach to logic and topology
Murdoch Gabbay
Pages 178-209
Closing the Gap Between Specification and Programming: VDM++ and Scala
Klaus Havelund
Pages 210-233
Model Check What You Can, Runtime Verify the Rest
Timothy Hinrichs, A. Prasad Sistla and Lenore Zuck
Pages 234-244
On Incremental Quantitative Verification for Probabilistic Systems
Marta Kwiatkowska, David Parker, Hongyang Qu and Mateusz Ujma
Pages 245-257
Pandora's Box
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper and Erik J. Luit
Pages 258-270
Distributed Control Synthesis
Doron Peled and Sven Schewe
Pages 271-288
A note on first-order reasoning for minimum models
David Rydeheard and Jesus Hector Dominguez Sanchez
Pages 289-305
A Tableau Proof System with Names for Modal Mu-calculus
Colin Stirling
Pages 306-318
Extended Abstract: Getting Engaged
Simon Thompson
Page 319

Keyphrases

Copyright © 2012-2023 easychair.org. All rights reserved.