Pages that link to "Item:Q3765233"

The following pages link to A Theory of Communicating Sequential Processes (Q3765233):

Displaying 50 items.

• Generating priority rewrite systems for OSOS process languages (Q1012121) (← links)
• Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
• Calculi for synchrony and asynchrony (Q1050111) (← links)
• A more complete model of communicating processes (Q1050768) (← links)
• A complete inference system for a class of regular behaviours (Q1057072) (← links)
• On the suitability of trace semantics for modular proofs of communicating processes (Q1060004) (← links)
• A proof-theoretic characterization of observational equivalence (Q1060006) (← links)
• Specification-oriented semantics for communicating processes (Q1060838) (← links)
• Determinacy \(\to\) (observation equivalence \(=\) trace equivalence) (Q1061481) (← links)
• A logic for the specification and proof of regular controllable processes of CCS (Q1080653) (← links)
• About fair asynchrony (Q1085603) (← links)
• Denotational semantics of communicating sequential programs (Q1088402) (← links)
• A context dependent equivalence between processes (Q1088404) (← links)
• Concurrent histories: a basis for observing distributed systems (Q1089787) (← links)
• Specification and top-down design of distributed systems (Q1089790) (← links)
• Infinite streams and finite observations in the semantics of uniform concurrency (Q1091800) (← links)
• Specification and verification of database dynamics (Q1092680) (← links)
• Communication in concurrent dynamic logic (Q1095653) (← links)
• On the analysis of cooperation and antagonism in networks of communicating processes (Q1098279) (← links)
• Verification of a class of self-timed computational networks (Q1102099) (← links)
• Trace, failure and testing equivalences for communicating processes (Q1104076) (← links)
• Global renaming operators in concrete process algebra (Q1106660) (← links)
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
• A timed model for communicating sequential processes (Q1109561) (← links)
• Partial ordering models for concurrency can be defined operationally (Q1111013) (← links)
• A state-based approach to communicating processes (Q1112600) (← links)
• The equational theory of pomsets (Q1119012) (← links)
• Stable families of behavioural equivalences (Q1119013) (← links)
• Compositional semantics for real-time distributed computing (Q1119027) (← links)
• Hiding in stream semantics of uniform concurrency (Q1120267) (← links)
• Type theory and concurrency (Q1124322) (← links)
• Concurrency and atomicity (Q1124366) (← links)
• Correctness of concurrent processes (Q1176236) (← links)
• The equivalence in the DCP model (Q1177152) (← links)
• Partial specifications and compositional verification (Q1177172) (← links)
• Specification styles in distributed systems design and verification (Q1177943) (← links)
• An algebra of concurrent non-deterministic processes (Q1179704) (← links)
• Minimizing the number of transitions with respect to observation equivalence (Q1182610) (← links)
• Semantics for data parallel computation (Q1186098) (← links)
• A model of reconfiguration in communicating sequential processes with a notion of transactions (Q1186564) (← links)
• Enriched categorical semantics for distributed calculi (Q1208210) (← links)
• Unique decomposition of processes (Q1208422) (← links)
• From algebra to operational semantics (Q1209325) (← links)
• Failure-equivalent transformation of transition systems to avoid internal actions (Q1209375) (← links)
• Submodule construction as equation solving in CCS (Q1262748) (← links)
• A complete axiomatisation for observational congruence of finite-state behaviours (Q1263984) (← links)
• The timed failures -- Stability model for CSP (Q1274446) (← links)
• A fully abstract semantics for concurrent constraint programming (Q1275748) (← links)
• Exact performance equivalence: An equivalence relation for stochastic automata (Q1285589) (← links)
• Basic observables for processes (Q1286368) (← links)