Searching for authors named "Joachim Parrow" – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
