The categorical framework of object-oriented concurrent systems

DOI10.1016/0898-1221(93)90220-PzbMath0792.18003OpenAlexW1995280877MaRDI QIDQ1203710

D. H. H. Yoon

Publication date: 22 February 1993

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(93)90220-p

zbMATH Keywords

category theoryobject-oriented concurrent system

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Algebraic theory of languages and automata (68Q70) Categories of machines, automata (18B20)

Cites Work

• Port automata and the algebra of concurrent porcesses
• Unnamed Item

This page was built for publication: The categorical framework of object-oriented concurrent systems