Pages that link to "Item:Q4162644"
From MaRDI portal
The following pages link to Communicating sequential processes (Q4162644):
Displaying 50 items.
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Theory of interaction (Q896903) (← links)
- Verification of distributed systems with the axiomatic system of MSVL (Q903507) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems) (Q914365) (← links)
- Algebraic specification of concurrent systems (Q914405) (← links)
- Probabilistic verification of communication protocols (Q916356) (← links)
- Proof theory for exception handling in a tasking environment (Q918725) (← links)
- A design method for embedded software systems (Q921962) (← links)
- On the decidability and complexity of the structural congruence for beta-binders (Q953553) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- A fluid analysis framework for a Markovian process algebra (Q974116) (← links)
- A precongruence format for should testing preorder (Q974134) (← links)
- A Rice-style theorem for parallel automata (Q1004287) (← links)
- Assumption-commitment support for CSP model checking (Q1040778) (← links)
- An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets (Q1059399) (← links)
- Specification-oriented semantics for communicating processes (Q1060838) (← links)
- The probe: An addition to communication primitives (Q1071496) (← links)
- An axiomatic semantics for nested concurrency (Q1077155) (← links)
- Partial correctness of exits from concurrent structures (Q1080654) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- A complete rule for equifair termination (Q1088401) (← links)
- Denotational semantics of communicating sequential programs (Q1088402) (← links)
- Transformations for communication fairness in CSP (Q1089786) (← links)
- A distributed algorithm to prevent mutual drift between n logical clocks (Q1089788) (← links)
- On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes (Q1090104) (← links)
- Petri nets, algebras, morphisms, and compositionality (Q1091145) (← links)
- Sémantique asynchrone et comportements infinis en CPS (Q1092652) (← links)
- Two normal form theorems for CSP programs (Q1094869) (← links)
- Communication in concurrent dynamic logic (Q1095653) (← links)
- An algebra of processes (Q1096381) (← links)
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- A distributed algorithm for distributed termination (Q1098278) (← links)
- The complexity of reachability in distributed communicating processes (Q1098622) (← links)
- Distributed deadlock detection (Q1100883) (← links)
- A shared memory algorithm and proof for the generalized alternative construct in CSP (Q1100889) (← links)
- Cause-effect structures (Q1101232) (← links)
- An introduction to the regular theory of fairness (Q1102102) (← links)
- Compiling communicating processes into delay-insensitive VLSI circuits (Q1102258) (← links)
- Trace, failure and testing equivalences for communicating processes (Q1104076) (← links)
- Fairness and the axioms of control predicates (Q1104729) (← links)
- Global renaming operators in concrete process algebra (Q1106660) (← links)
- Theory of traces (Q1107296) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- Designing equivalent semantic models for process creation (Q1107305) (← links)
- A timed model for communicating sequential processes (Q1109561) (← links)
- Semantics of production systems (Q1110314) (← links)
- Appraising fairness in languages for distributed programming (Q1112589) (← links)
- On the uniqueness of fixed points of endofunctors in a category of complete metric spaces (Q1114959) (← links)
- Synthesis of communicating process skeletons from temporal-spatial logic specifications (Q1116944) (← links)