Port automata and the algebra of concurrent porcesses

DOI10.1016/0022-0000(83)90028-4MaRDI QIDQ791319zbMATH OpenOpenAlexFDO

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

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

communicating processesconcurrencyconcurrent processinggreatest fixpointsnondeterministic sequential machineport automaton

Mathematics Subject Classification ID

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

Review text

A relatively simple and straightforward model of communicating processes is presented. The model parallels that of \textit{G. Milne} and \textit{R. Milner} [J. Assoc. Comput. Mach. 26, 302-321 (1979; Zbl 0395.68030)], but here a process (i.e. the unit of concurrent processing) is modelled by a port automaton, a certain type of nondeterministic sequential machine. To define and to compute the response of the port automaton, a theory of greatest fixpoints is applied. It is shown that using an automata- theoretic approach to concurrency, an algebraic notion of process may be defined without requiring ordered sets.

Recommendations

• A Theory of Communicating Sequential Processes
• An algebra of concurrent non-deterministic processes
• scientific article; zbMATH DE number 4064457
• Algebraic laws for nondeterminism and concurrency
• An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation

Cites work

• A calculus of communicating systems
• A Powerdomain Construction
• Communicating sequential processes
• Concurrent Processes and Their Syntax
• Distributed processes
• Fuzzy machines in a category
• scientific article; zbMATH DE number 3774868 (Why is no real title available?)
• scientific article; zbMATH DE number 3463159 (Why is no real title available?)
• scientific article; zbMATH DE number 3624762 (Why is no real title available?)
• Mathematical aspects of net theory
• Power domains
• The complexity of problems in systems of communicating sequential processes
• The structure of the “THE”-multiprogramming system

Cited in

(6)

• Concurrent transition systems
• The categorical framework of object-oriented concurrent systems
• Concurrent Machines
• scientific article; zbMATH DE number 4035113 (Why is no real title available?)
• scientific article; zbMATH DE number 17542 (Why is no real title available?)
• scientific article; zbMATH DE number 177270 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q791319)