Pages that link to "Item:Q1815341"
From MaRDI portal
The following pages link to Proof systems for message-passing process algebras (Q1815341):
Displaying 15 items.
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Theory of interaction (Q896903) (← links)
- Bisimulations for a calculus of broadcasting systems (Q1276256) (← links)
- On sequential composition, action prefixes and process prefix (Q1333405) (← links)
- A semantic theory for value-passing processes based on the late approach (Q1398368) (← links)
- Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus. (Q1400579) (← links)
- A complexity analysis of bisimilarity for value-passing processes (Q1575255) (← links)
- A complete symbolic bisimulation for full applied pi calculus (Q1758155) (← links)
- Computing bisimulations for finite-control \(\pi\)-calculus (Q1966507) (← links)
- On bidirectional runtime enforcement (Q2117010) (← links)
- A formal semantics for debugging synchronous message passing-based concurrent programs (Q2348946) (← links)
- The Value-Passing Calculus (Q2842635) (← links)
- Equivalence Checking for a Finite Higher Order π-Calculus (Q5458809) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
