Receptive process theory

DOI10.1007/BF01178564MaRDI QIDQ758200zbMATH OpenWikidataFDO

Authors Mark B. Josephs

Publication date 1992

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01178564

zbMATH Keywords

communicationeventsreceptive processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

An algebraic theory of receptive processes is presented. A receptive process models the interaction by input events and output events between a system and its environment. Input from the environment and output to the environment are never blocked; but if a system is not ready to receive a particular input, its subsequent behaviour is undefined. In essence, this paper reworks Hoare's theory of Communicating Sequential Processes under the above assumption about communication. The resulting model is more attractive than the failures-divergence model of CSP because the refusal sets of the latter are simplified out of existence. Like CSP, receptive process theory is equipped with a sound and complete set of algebraic laws. Applications of the theory include the design of asynchronous circuits and the study of data flow networks. As an example, this paper verifies algebraically the design of a Muller C-element from a majority-element.

Recommendations

• Toward a theory of information processing
• Recent Developments in the Theory of Pre-processing
• The conditioned reconstructed process
• scientific article; zbMATH DE number 1206325
• Theory by process

Cites work

• A calculus of communicating systems
• Communicating sequential processes
• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 177245 (Why is no real title available?)
• The laws of Occam programming
• Trace theory and VLSI design

Cited in

(10)

• Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench
• Quiescence, fairness, testing, and the notion of implementation
• Delay-insensitivity and ternary simulation
• The name discipline of uniform receptiveness
• Handshake games
• Recent Developments in the Theory of Pre-processing
• An algebraic theory of interface automata
• The inhibition spectrum and the achievement of causal consistency
• Metrics for labelled Markov processes
• A process algebraic view of input/output automata

This page was built for publication: Receptive process theory

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