×

zbMATH — the first resource for mathematics

Algebraic specification of concurrent systems. (English) Zbl 0973.68150
Astesiano, E. (ed.) et al., Algebraic foundations of systems specification. Berlin: Springer. IFIP State-of-the-Art Reports. 467-520 (1999).
For the entire collection see [Zbl 0973.68002].

MSC:
68Q65 Abstract data types; algebraic specification
68-02 Research exposition (monographs, survey articles) pertaining to computer science
PDF BibTeX XML Cite