Receptive process theory

DOI10.1007/BF01178564zbMath0724.68037WikidataQ56210208 ScholiaQ56210208MaRDI QIDQ758200

Mark B. Josephs

Publication date: 1992

Published in: Acta Informatica (Search for Journal in Brave)

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)

Related Items

Metrics for labelled Markov processes, Quiescence, fairness, testing, and the notion of implementation, An algebraic theory of interface automata, The inhibition spectrum and the achievement of causal consistency, A process algebraic view of input/output automata, Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench, Delay-insensitivity and ternary simulation, Handshake Games

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• Trace theory and VLSI design
• The laws of Occam programming
• Communicating sequential processes