Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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
EPiC Series in Computing
•
Volume 42
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.