Search the dblp DataBase

Publications of Author

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