Found: 4
Select item for more details and to access through your institution.
Specification transformers: a predicate transformer approach to composition.
- Published in:
- Acta Informatica, 2004, v. 40, n. 4, p. 265, doi. 10.1007/s00236-003-0130-y
- By:
- Publication type:
- Article
The Observation: An Abstract Communication Mechanism.
- Published in:
- Parallel Processing Letters, 1999, v. 9, n. 3, p. 437, doi. 10.1142/S0129626499000402
- By:
- Publication type:
- Article
Specification and Verification of the ATMR Protocol Using UNITY: Part 2: Correctness Proof.
- Published in:
- Parallel Processing Letters, 1998, v. 8, n. 4, p. 433, doi. 10.1142/S0129626498000444
- By:
- Publication type:
- Article
Specification and Verification of the ATMR Protocol Using UNITY: Part 1: Modeling and Specification of the Protocal.
- Published in:
- Parallel Processing Letters, 1998, v. 8, n. 4, p. 421, doi. 10.1142/S0129626498000432
- By:
- Publication type:
- Article