Quantales, observational logic and process semantics

Various notions of observing and testing processes are placed in a uniform algebraic framework in which observations are taken as constituting a quantale. General completeness criteria are stated, and proved in our applications.

[1]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[2]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[3]  Iain Phillips,et al.  Refusal Testing , 1986, Theoretical Computer Science.

[4]  M. Hennessy,et al.  Finite Conjunctive Nondeterminism (Extended Abstract) , 1987 .

[5]  B. Mitchell,et al.  Rings with several objects , 1972 .

[6]  C. A. R. Hoare,et al.  The Weakest Prespecification , 1987, Information Processing Letters.

[7]  R. P. Dilworth,et al.  Residuated Lattices. , 1938, Proceedings of the National Academy of Sciences of the United States of America.

[8]  A. Meyer,et al.  Bisimulation can't be traced. Preliminary report , 1987 .

[9]  Samson Abramsky,et al.  Domain Theory in Logical Form , 1991, LICS.

[10]  Amir Pnueli,et al.  Linear and Branching Structures in the Semantics and Logics of Reactive Systems , 1985, ICALP.

[11]  Samson Abramsky,et al.  Observation Equivalence as a Testing Equivalence , 1987, Theor. Comput. Sci..

[12]  Rocco De Nicola,et al.  CCS without tau's , 1987, TAPSOFT, Vol.1.

[13]  Kim G. Larsen,et al.  Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[14]  Yves Lafont.  The Linear Abstract Machine (Corrigenda) , 1988, Theor. Comput. Sci..

[15]  Kimmo I. Rosenthal,et al.  Constructing locales from quantales , 1988, Mathematical Proceedings of the Cambridge Philosophical Society.

[16]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[17]  Robin Milner,et al.  Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[18]  J. Michael Dunn,et al.  Relevance Logic and Entailment , 1986 .

[19]  Stephen Blamey,et al.  The soundness and completeness of axioms for CSP processes , 1991 .

[20]  A. Joyal,et al.  An extension of the Galois theory of Grothendieck , 1984 .

[21]  Jean-Yves Girard,et al.  Towards a geometry of interaction , 1989 .

[22]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[23]  Stephen D. Brookes,et al.  Behavioural Equivalence Relations Induced by Programming Logics , 1983, ICALP.

[24]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.