Port automata and the algebra of concurrent porcesses
type: Item
instance of: scholarly article
title: Port automata and the algebra of concurrent porcesses
zbMATH Open document ID: 0535.68025
DOI: 10.1016/0022-0000(83)90028-4
author: Martha Steenstrup
author: Michael A. Arbib
author: Ernest G. Manes
published in: Journal of Computer and System Sciences
publication date: 1983-01-01T00:00:00Z
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.
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 3850477
zbMATH Keywords: communicating processes
zbMATH Keywords: concurrent processing
zbMATH Keywords: port automaton
zbMATH Keywords: nondeterministic sequential machine
zbMATH Keywords: greatest fixpoints
zbMATH Keywords: concurrency
reviewed by: Ryszard Janicki
MaRDI profile type: Publication
full work available at URL: 0022-0000(83)90028-4
OpenAlex ID: W1974905959
cites work: Fuzzy machines in a category
cites work: Q3954803
cites work: Distributed processes
cites work: The structure of the “THE”-multiprogramming system
cites work: Q4048566
cites work: Communicating sequential processes
cites work: The complexity of problems in systems of communicating sequential processes
cites work: Concurrent Processes and Their Syntax
cites work: A calculus of communicating systems
cites work: Mathematical aspects of net theory
cites work: A Powerdomain Construction
cites work: Q4187287
cites work: Power domains
description: scientific article; zbMATH DE number 3850477