2008 |
19 | EE | Magnus Johansson,
Joachim Parrow,
Björn Victor,
Jesper Bengtson:
Extended pi-Calculi.
ICALP (2) 2008: 87-98 |
2006 |
18 | EE | Catuscia Palamidessi,
Vijay A. Saraswat,
Frank D. Valencia,
Björn Victor:
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus.
LICS 2006: 59-68 |
2005 |
17 | EE | Gian Luigi Ferrari,
Ugo Montanari,
Emilio Tuosto,
Björn Victor,
Kidane Yemane:
Modelling Fusion Calculus using HD-Automata.
CALCO 2005: 142-156 |
16 | EE | Michael Baldamus,
Joachim Parrow,
Björn Victor:
A Fully Abstract Encoding of the pi-Calculus with Data Terms.
ICALP 2005: 1202-1213 |
15 | EE | Uwe Nestmann,
Björn Victor:
Guest editors' introduction: Special issue on The pi-calculus.
J. Log. Algebr. Program. 63(1): 1-2 (2005) |
2004 |
14 | EE | Michael Baldamus,
Joachim Parrow,
Björn Victor:
Spi Calculus Translated to ?--Calculus Preserving May-Tests.
LICS 2004: 22-31 |
13 | EE | Neil Ghani,
Kidane Yemane,
Björn Victor:
Relationally Staged Computations in Calculi of Mobile Processes.
Electr. Notes Theor. Comput. Sci. 106: 105-120 (2004) |
2003 |
12 | | Luca Aceto,
Giuseppe Longo,
Björn Victor:
Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation.
Mathematical Structures in Computer Science 13(4): 481-484 (2003) |
11 | | Cosimo Laneve,
Björn Victor:
Solos In Concert.
Mathematical Structures in Computer Science 13(5): 657-683 (2003) |
2001 |
10 | EE | Cosimo Laneve,
Joachim Parrow,
Björn Victor:
Solo Diagrams.
TACS 2001: 127-144 |
1999 |
9 | EE | Cosimo Laneve,
Björn Victor:
Solos in Concert.
ICALP 1999: 513-523 |
8 | EE | Ilaria Castellani,
Björn Victor:
Preface.
Electr. Notes Theor. Comput. Sci. 27: (1999) |
1998 |
7 | EE | Joachim Parrow,
Björn Victor:
The Tau-Laws of Fusion.
CONCUR 1998: 99-114 |
6 | EE | Björn Victor,
Joachim Parrow:
Concurrent Constraints in the Fusion Calculus.
ICALP 1998: 455-469 |
5 | | Joachim Parrow,
Björn Victor:
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
LICS 1998: 176-185 |
4 | | Uwe Nestmann,
Björn Victor:
Calculi for Mobile Processes - Bibliography and Web Pages.
Bulletin of the EATCS 64: (1998) |
1997 |
3 | | Joachim Parrow,
Björn Victor:
The Update Calculus (Extended Abstract).
AMAST 1997: 409-423 |
1996 |
2 | | Björn Victor,
Joachim Parrow:
Constraints as Processes.
CONCUR 1996: 389-405 |
1994 |
1 | | Björn Victor,
Faron Moller:
The Mobility Workbench - A Tool for the pi-Calculus.
CAV 1994: 428-440 |