Port automata and the algebra of concurrent porcesses

DOI10.1016/0022-0000(83)90028-4zbMath0535.68025OpenAlexW1974905959MaRDI QIDQ791319

Ernest G. Manes, Michael A. Arbib, Martha Steenstrup

Publication date: 1983

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(83)90028-4

zbMATH Keywords

concurrencyconcurrent processingnondeterministic sequential machinecommunicating processesgreatest fixpointsport automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of operating systems (68N25)

Related Items (2)

Concurrent transition systems ⋮ The categorical framework of object-oriented concurrent systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complexity of problems in systems of communicating sequential processes
• A calculus of communicating systems
• Power domains
• Mathematical aspects of net theory
• Fuzzy machines in a category
• A Powerdomain Construction
• Communicating sequential processes
• Distributed processes
• Concurrent Processes and Their Syntax
• The structure of the “THE”-multiprogramming system

This page was built for publication: Port automata and the algebra of concurrent porcesses