Algebraic proofs of properties of objects
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 501-516
- https://doi.org/10.1007/3-540-57880-3_33
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Typing and subtyping for mobile processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Algebraic proofs of properties of objectsPublished by Springer Nature ,1994
- The Polyadic π-Calculus: a TutorialPublished by Springer Nature ,1993
- Denotational semantics of a parallel object-oriented languageInformation and Computation, 1989
- Issues in the design of a parallel object-oriented languageFormal Aspects of Computing, 1989
- Operational semantics of a parallel object-oriented languagePublished by Association for Computing Machinery (ACM) ,1986