Searching for authors named "Joachim Parrow" – sorted by Relevance.
-
Trios in Concert
- Trios in Concert Joachim Parrow Royal Inst. of Technology, Dep. Teleinformatics Electrum 204, S
- Cited by 12 (3 self) – Add To MetaCart
-
Structural and Behavioural Equivalences of Networks
- Structural and Behavioural Equivalences of Networks Joachim Parrow Swedish Institute of Computer
- Cited by 3 (0 self) – Add To MetaCart
-
Concurrent Constraints in the Fusion Calculus (Extended Abstract)
- Concurrent Constraints in the Fusion Calculus (extended abstract) Bjorn Victor 1 and Joachim
- Cited by 8 (3 self) – Add To MetaCart
-
The Complete Axiomatization of Cs-congruence
- The Complete Axiomatization of Cs-congruence Joachim Parrow 1; 2; 3 and Peter Sjodin 1 1
- Cited by 6 (1 self) – Add To MetaCart
-
The Tau-Laws of Fusion
- The Tau-Laws of Fusion Joachim Parrow Bjorn Victor y DRAFT of March 18, 1998, 15:59 Abstract
- Cited by 6 (1 self) – Add To MetaCart
-
Constraints as Processes
- of LNCS, pages 389--405. Springer-Verlag, 1996. Constraints as Processes Bjorn Victor Joachim Parrow y
- Cited by 9 (2 self) – Add To MetaCart
-
A completeness proof for bisimulation in the pi-calculus using Isabelle. ENTCS
- and Joachim Parrow Department of Information Technology Uppsala University Uppsala, Sweden Abstract We use
- Cited by 1 (1 self) – Add To MetaCart
-
Algebraic Theories for Name-Passing Calculi
- Algebraic Theories for Name-Passing Calculi Joachim Parrow Davide Sangiorgi y February 8, 1996
- Cited by 41 (11 self) – Add To MetaCart
-
The Update Calculus
- of LNCS, pages 409--423. Springer-Verlag, 1997. The Update Calculus (full version) Joachim Parrow
- Cited by 66 (3 self) – Add To MetaCart
-
An Algebraic Verification of a Mobile Network
- Network 1 Fredrik Orava and Joachim Parrow Swedish Institute of Computer Science, Box 1263, S-16428
- Cited by 33 (1 self) – Add To MetaCart

