Active Bibliography

13 Specifying Communication in Distributed Information Systems – Hans-dieter Ehrich, Carlos Caleiro - 1998
6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
56 A brief history of process algebra – J. C. M. Baeten - 2004
28 Mathematical Modal Logic: a View of its Evolution – Robert Goldblatt - 2001
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
69 Verification on Infinite Structures – Olaf Burkart, Didier Caucal, Faron Moller, Bernhard Steffen - 2000
39 An observationally complete program logic for imperative higher-order functions – Kohei Honda, Nobuko Yoshida, Martin Berger - 2005
98 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
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
15 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
11 Modelling Distributed Systems – Wan Fokkink , Jan Friso Groote, Michel Reniers - 2003
Towards Semantics-directed System Design and Synthesis – William L. Harrison, Benjamin Schulz, Adam Procter, Andrew Lukefahr, Gerard Allwein
Report on Analysis and Verification Techniques – Peter Herrmann, Heiko Krumm - 1992
1 Implementing Certified Programming Language Tools Dependent Type Theory – Adam James Chlipala, Adam James Chlipala - 2007
26 A Compositional Logic for Polymorphic Higher-Order Functions – Kohei Honda, Nobuko Yoshida - 2004
13 A theory of designby-contract for distributed multiparty interactions – Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida - 2011