Receptive process theory

DOI10.1007/BF01178564MaRDI QIDQ758200zbMATHWikidataFDO

Authors 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)

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

• 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?)
• A calculus of communicating systems
• Communicating sequential processes
• The laws of Occam programming
• Trace theory and VLSI design

Cited in

(10)

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

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)