On the parameterized algebraic specification of concurrent systems
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 342-358
- https://doi.org/10.1007/3-540-15198-2_22
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- On hierarchies of abstract data typesActa Informatica, 1983
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Generalized heterogeneous algebras and partial interpretationsPublished by Springer Nature ,1983
- A kernel language for algebraic specification and implementation extended abstractPublished by Springer Nature ,1983
- Partial abstract typesActa Informatica, 1982
- Algorithmic Language and Program DevelopmentPublished by Springer Nature ,1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980