Quantales, observational logic and process semantics
- 4 March 1993
- journal article
- research article
- Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science
- Vol. 3 (2) , 161-227
- https://doi.org/10.1017/s0960129500000189
Abstract
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.Keywords
This publication has 21 references indexed in Scilit:
- Behavioural equivalence relations induced by programming logicsPublished by Springer Nature ,2006
- Linear and branching structures in the semantics and logics of reactive systemsPublished by Springer Nature ,2005
- Domain theory in logical form*Annals of Pure and Applied Logic, 1991
- The linear abstract machineTheoretical Computer Science, 1988
- The weakest prespecificationInformation Processing Letters, 1987
- Refusal testingTheoretical Computer Science, 1987
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Specification-oriented semantics for Communicating ProcessesActa Informatica, 1986
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Residuated LatticesTransactions of the American Mathematical Society, 1939