|
34
|
An observationally complete program logic for imperative higher-order functions
– Kohei Honda, Nobuko Yoshida, Martin Berger
- 2005
|
|
11
|
Specifying Communication in Distributed Information Systems
– Hans-dieter Ehrich, Carlos Caleiro
- 1998
|
|
6
|
Metric semantics for reactive probabilistic processes
– Gethin Josiah Norman
- 1997
|
|
13
|
The Early Search for Tractable Ways of Reasoning About Programs
– C. B. Jones
- 2003
|
|
9
|
On the Search for Tractable Ways of Reasoning about Programs
– C. B. Jones
- 2001
|
|
35
|
A brief history of process algebra
– J. C. M. Baeten
- 2004
|
|
19
|
Mathematical Modal Logic: a View of its Evolution
– Robert Goldblatt
- 2001
|
|
29
|
Adequacy for algebraic effects
– Gordon Plotkin, Matija Pretnar
- 2001
|
|
50
|
Verification on Infinite Structures
– Olaf Burkart, Didier Caucal, Faron Moller, Bernhard Steffen
- 2000
|
|
86
|
Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation
– Patrick Cousot
- 2002
|
|
2
|
An introduction to milner’s ccs
– Luca Aceto, Kim G. Larsen, Anna Ingólfsdóttir
- 2004
|
|
|
Process Logic and Duality -- Part I: Sequential Processes
– Kohei Honda
|
|
1
|
Strategic Directions in Computing Research Concurrency Working Group Report
– Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka
- 1996
|
|
|
Report on Analysis and Verification Techniques
– Peter Herrmann, Heiko Krumm
- 1992
|
|
7
|
A Relational Basis for Program Construction by Parts
– Marc Frappier
- 1995
|
|
10
|
Logical reasoning for higher-order functions with local state
– Nobuko Yoshida, Kohei Honda, Martin Berger, Queen Mary
- 2006
|
|
23
|
A Compositional Logic for Polymorphic Higher-Order Functions
– Kohei Honda, Nobuko Yoshida
- 2004
|
|
46
|
Verification of Non-Functional Programs using Interpretations in Type Theory
– Jean-Christophe Filliâtre
|
|
28
|
Dynamics
– Reinhard Muskens, Johan Van Benthem, Albert Visser
- 1996
|
