The following pages link to (Q3700824):
Displaying 20 items.
- Reactive Turing machines (Q393091) (← links)
- Trapping mutual exclusion in the box calculus (Q672869) (← links)
- A CCS-based investigation of deadlock in a multi-process electronic mail system (Q688829) (← links)
- Turing machines, transition systems, and interaction (Q703844) (← links)
- On guarded recursion (Q805246) (← links)
- Higher-level synchronising devices in Meije-SCCS (Q1079949) (← links)
- Algebraic calculi of processes and net expressions (Q1084852) (← links)
- Bisimulation and effectiveness (Q1118393) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- The chemical abstract machine (Q1190491) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- An algebraic characterization of observational equivalence (Q1351804) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- On constructibility and unconstructibility of LTS operators from other LTS operators (Q2340256) (← links)
- Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols (Q2841265) (← links)
- Turing Machines, Transition Systems, and Interaction (Q4917087) (← links)
- Verification and comparison of transition systems (Q5044730) (← links)
- Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism (Q6201390) (← links)
- Decidability results in automata and process theory (Q6560390) (← links)
