The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Björn Victor: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002