- Multiway Synchronization Verified with Coupled Simulation
- Designing a Multiway Synchronisation Protocol Joachim Parrow Peter Sjodin
- Higher-order psi-calculi Joachim Parrow Johannes Borgstrom Palle Raabjerg
- Psi-calculi: Mobile processes, nominal data, and logic
- A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle
- Logical Methods in Computer Science Vol. 5 (2:16) 2009, pp. 136
- Extended pi-Calculi Magnus Johansson, Joachim Parrow, Bjorn Victor, and Jesper Bengtson
- Spi Calculus Translated to -Calculus Preserving
- Logical Methods in Computer Science Vol. 7 (1:11) 2011, pp. 144
- Automatized Verification of Ad Hoc Routing Protocols
- Weak Equivalences in Psi-calculi Magnus Johansson Jesper Bengtson Joachim Parrow Bjorn Victor
- Broadcast Psi-calculi with an Application to Wireless Protocols
- EPTCS ??, 2009, pp. 115. A Fully Abstract Symbolic Semantics for Psi-Calculi
- Expressiveness of Process Algebras Joachim Parrow 1
- Psi-calculi in Isabelle Jesper Bengtson and Joachim Parrow
- A Calculus of Mobile Processes, Part I Robin Milner, University of Edinburgh, Scotland
- A Calculus of Mobile Processes, Part II Robin Milner, University of Edinburgh, Scotland
- Algebraic Theories for NamePassing Calculi Joachim Parrow \Lambda Davide Sangiorgi y
- Concurrent Constraints in the Fusion Calculus (extended abstract)
- Structural and Behavioural Equivalences of Networks Joachim Parrow
- To be published in the Proceedings of AMAST'97, Sydney, Dec 13--17 1997 The Update Calculus
- The Expressive Power of Parallelism \Lambda Joachim Parrow
- The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
- Submodule Construction as Equation Solving in CCS \Lambda
- The Complete Axiomatization of Cscongruence Joachim Parrow 1; 2; 3 and Peter Sjodin 1
- Formal Aspects of Computing (1996) 3: 1--000 fl 1996 BCS
- The TauLaws of Fusion Joachim Parrow \Lambda Bjorn Victor y
- Nordic Journal of Computing 2(1995), 407--443. INTERACTION DIAGRAMS
- The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
- Published in U. Montanari and V. Sassone, editors, CONCUR'96: Concurrency Theory, volume 1119 of LNCS, pages 389--405. SpringerVerlag, 1996.
- Deciding Bisimulation Equivalences for a Class of NonFiniteState Programs
- Modal Logics for Mobile Processes Robin Milner \Lambda , Joachim Parrow y and David Walker z
- An Introduction to the -Calculus Chapter to appear in Handbook of Process Algebra, ed. Bergstra, Ponse and Smolka,
- Trollkarlen blir Ingenjor Formella Metoder: en
- Trios in Concert Joachim Parrow
- Erratum for Extended pi-Calculi Magnus Johansson, Joachim Parrow, Bjorn Victor, and Jesper Bengtson
