The following pages link to Process Algebra (Q3999164):
Displayed 50 items.
- A randomized encoding of the \(\pi\)-calculus with mixed choice (Q555750) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Confluence for process verification (Q672042) (← links)
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours (Q672231) (← links)
- Structural operational semantics for weak bisimulations (Q673123) (← links)
- A theory of processes with durational actions (Q674005) (← links)
- A process algebraic view of input/output automata (Q674195) (← links)
- Category theory for operational semantics (Q703525) (← links)
- On the computational complexity of bisimulation, redux (Q703845) (← links)
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- Preferential choice and coordination conditions (Q864506) (← links)
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- Fair testing (Q865623) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Parametric synchronizations in mobile nominal calculi (Q935464) (← links)
- Verification of well-formed communicating recursive state machines (Q944388) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Probabilistic mobile ambients (Q1006650) (← links)
- Processes with local and global liveness requirements (Q1007234) (← links)
- Shuffle on trajectories: Syntactic constraints (Q1128661) (← links)
- Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule (Q1183608) (← links)
- Petri net semantics of priority systems (Q1190490) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- Operational and denotational semantics for the box algebra (Q1274445) (← links)
- A complete equational axiomatization for MPA with string iteration (Q1274456) (← links)
- A decision algorithm for distributive unification (Q1275018) (← links)
- A behavioural theory of first-order CML (Q1285654) (← links)
- Real space process algebra (Q1329194) (← links)
- Process algebra with guards: Combining hoare logic with process algebra (Q1329197) (← links)
- GSOS and finite labelled transition systems (Q1331924) (← links)
- On sequential composition, action prefixes and process prefix (Q1333405) (← links)
- Bisimulation is two-way simulation (Q1342255) (← links)
- Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)
- Branching bisimilarity is an equivalence indeed! (Q1350620) (← links)
- Actors, actions, and initiative in normative system specification (Q1353968) (← links)
- Formalizing process algebraic verifications in the calculus of constructions (Q1355748) (← links)
- Full abstraction and recursion (Q1365671) (← links)
- An equational axiomatization for multi-exit iteration (Q1369097) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- The algebra of communicating processes with empty process (Q1391788) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- Process algebra with propositional signals (Q1391792) (← links)
- Process algebra with language matching (Q1391794) (← links)
- Formal verification of a leader election protocol in process algebra (Q1391796) (← links)
- Two finite specifications of a queue (Q1391797) (← links)
- Revisiting timing in process algebra. (Q1394990) (← links)
- Analysis of a distributed system for lifting trucks. (Q1400154) (← links)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- The complexity of bisimilarity-checking for one-counter processes. (Q1401395) (← links)