- Michael Baldamus, Joachim Parrow, Björn Victor:
A Fully Abstract Encoding of the pi-Calculus with Data Terms. ICALP 2005: 1202-1213 - 2004
- Oskar Wibling, Joachim Parrow, Arnold Neville Pears:
Automatized Verification of Ad Hoc Routing Protocols. FORTE 2004: 343-358 - Michael Baldamus, Joachim Parrow, Björn Victor:
Spi Calculus Translated to ?--Calculus Preserving May-Tests. LICS 2004: 22-31 - 2003
- Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger:
Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings. Lecture Notes in Computer Science 2719, Springer 2003, ISBN 3-540-40493-7 [contents] - 2001
- Cosimo Laneve, Joachim Parrow, Björn Victor:
Solo Diagrams. TACS 2001: 127-144 - Joachim Parrow:
An Introduction to the π-Calculus. Handbook of Process Algebra 2001: 479-543 - 2000
- Catuscia Palamidessi, Joachim Parrow, Rob J. van Glabbeek:
Preface. Inf. Comput. 156(1-2): 1 (2000) - Joachim Parrow:
Trios in concert. Proof, Language, and Interaction 2000: 623-638 - 1998
- Joachim Parrow, Björn Victor:
The Tau-Laws of Fusion. CONCUR 1998: 99-114 - Björn Victor, Joachim Parrow:
Concurrent Constraints in the Fusion Calculus. ICALP 1998: 455-469 - Joachim Parrow, Björn Victor:
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. LICS 1998: 176-185 - 1997
- Joachim Parrow, Björn Victor:
The Update Calculus (Extended Abstract). AMAST 1997: 409-423 - Catuscia Palamidessi, Joachim Parrow:
Foreword. EXPRESS 1997: 1-2 - Catuscia Palamidessi, Joachim Parrow:
International Workshop on Expressiveness in Concurrency, EXPRESS 1997, Santa Margherita Ligure, Italy, September 8-12, 1997. Electronic Notes in Theoretical Computer Science 7, Elsevier 1997 [contents] - 1996
- Joachim Parrow, Peter Sjödin:
Designing a multiway synchronization protocol. Comput. Commun. 19(14): 1151-1160 (1996) - Björn Victor, Joachim Parrow:
Constraints as Processes. CONCUR 1996: 389-405 - Bengt Jonsson, Joachim Parrow:
Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings. Lecture Notes in Computer Science 1135, Springer 1996, ISBN 3-540-61648-9 [contents] - 1995
- Joachim Parrow:
Concurrency without Homotopy. Bull. EATCS 55 (1995) - Joachim Parrow, Davide Sangiorgi:
Algebraic Theories for Name-Passing Calculi. Inf. Comput. 120(2): 174-197 (1995) - Bengt Jonsson, Joachim Parrow:
Guest Editors Foreword. Nord. J. Comput. 2(2): 87 (1995) - Joachim Parrow:
Interaction Diagrams. Nord. J. Comput. 2(4): 407-443 (1995) - 1994
- Joachim Parrow, Peter Sjödin:
The Complete Axiomatization of Cs-congruence. STACS 1994: 557-568 - Bengt Jonsson, Joachim Parrow:
CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science 836, Springer 1994, ISBN 3-540-58329-7 [contents] - 1993
- Bengt Jonsson, Joachim Parrow:
Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs. Inf. Comput. 107(2): 272-302 (1993) - Joachim Parrow:
Structural and Behavioural Equivalences of Networks. Inf. Comput. 107(1): 58-90 (1993) - Robin Milner, Joachim Parrow, David Walker:
Modal Logics for Mobile Processes. Theor. Comput. Sci. 114(1): 149-171 (1993) - Rance Cleaveland, Joachim Parrow, Bernhard Steffen:
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM Trans. Program. Lang. Syst. 15(1): 36-72 (1993) - Joachim Parrow:
Interaction Diagrams. REX School/Symposium 1993: 477-508 - Joachim Parrow, Davide Sangiorgi:
Algebraic Theories for Name-Passing Calculi. REX School/Symposium 1993: 509-529 - 1992
- Fredrik Orava, Joachim Parrow:
An Algebraic Verification of a Mobile Network. Formal Aspects Comput. 4(6): 497-543 (1992)