Receptive process theory

DOI10.1007/BF01178564zbMATH Open0724.68037WikidataQ56210208 ScholiaQ56210208MaRDI QIDQ758200FDOQ758200

Authors: Mark B. Josephs 

Publication date: 1992

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of communicating systems
• Communicating sequential processes
• Title not available (Why is that?)
• The laws of Occam programming
• Trace theory and VLSI design
• Title not available (Why is that?)

Cited In (10)

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

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)