The following pages link to Joachim Parrow (Q287321):
Displaying 38 items.
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- An algebraic verification of a mobile network (Q1205185) (← links)
- Submodule construction as equation solving in CCS (Q1262748) (← links)
- Deciding bisimulation equivalences for a class of non-finite-state programs (Q1317428) (← links)
- Structural and behavioural equivalences of networks (Q1317434) (← links)
- Algebraic theories for name-passing calculi (Q1898459) (← links)
- (Q2760245) (← links)
- (Q2767985) (← links)
- A Sorted Semantic Framework for Applied Process Calculi (Q2800971) (← links)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) (Q2830029) (← links)
- Expressiveness of Process Algebras (Q2870198) (← links)
- A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle (Q2871830) (← links)
- Psi-calculi: a framework for mobile processes with nominal data and logic (Q3003314) (← links)
- Broadcast Psi-calculi with an Application to Wireless Protocols (Q3095234) (← links)
- Formalising the pi-calculus using nominal logic (Q3395094) (← links)
- Extended pi-Calculi (Q3520306) (← links)
- (Q3768385) (← links)
- (Q4038717) (← links)
- (Q4219040) (← links)
- (Q4763512) (← links)
- (Q4942625) (← links)
- (Q4995150) (← links)
- Weak Nominal Modal Logic (Q5082196) (← links)
- Deciding bisimulation equivalences for a class of non-finite-state programs (Q5096175) (← links)
- (Q5150128) (← links)
- (Q5357704) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464480) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479153) (← links)
- (Q5714437) (← links)
- Automata, Languages and Programming (Q5716865) (← links)
- The Largest Respectful Function (Q5739896) (← links)
- Higher-order psi-calculi (Q5740353) (← links)
- General conditions for full abstraction (Q5741574) (← links)
- Formalising the π-Calculus Using Nominal Logic (Q5758048) (← links)
- (Q5856409) (← links)
- Psi-calculi in Isabelle (Q5890661) (← links)
- Psi-calculi in Isabelle (Q5895110) (← links)
