On the parameterized algebraic specification of concurrent systems
Authors:
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 342-358
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 interpretationsLecture Notes in Computer Science, 1983
- A kernel language for algebraic specification and implementation extended abstractLecture Notes in Computer Science, 1983
- Partial abstract typesActa Informatica, 1982
- Algorithmic Language and Program Development1982
- A Calculus of Communicating Systems1980