dblp.uni-trier.dewww.uni-trier.de

Björn Victor Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
19EEMagnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson: Extended pi-Calculi. ICALP (2) 2008: 87-98
2006
18EECatuscia 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
17EEGian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane: Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156
16EEMichael Baldamus, Joachim Parrow, Björn Victor: A Fully Abstract Encoding of the pi-Calculus with Data Terms. ICALP 2005: 1202-1213
15EEUwe Nestmann, Björn Victor: Guest editors' introduction: Special issue on The pi-calculus. J. Log. Algebr. Program. 63(1): 1-2 (2005)
2004
14EEMichael Baldamus, Joachim Parrow, Björn Victor: Spi Calculus Translated to ?--Calculus Preserving May-Tests. LICS 2004: 22-31
13EENeil 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
10EECosimo Laneve, Joachim Parrow, Björn Victor: Solo Diagrams. TACS 2001: 127-144
1999
9EECosimo Laneve, Björn Victor: Solos in Concert. ICALP 1999: 513-523
8EEIlaria Castellani, Björn Victor: Preface. Electr. Notes Theor. Comput. Sci. 27: (1999)
1998
7EEJoachim Parrow, Björn Victor: The Tau-Laws of Fusion. CONCUR 1998: 99-114
6EEBjö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
2EEBjörn Victor, Joachim Parrow: Constraints as Processes. CONCUR 1996: 389-405
1994
1EEBjörn Victor, Faron Moller: The Mobility Workbench - A Tool for the pi-Calculus. CAV 1994: 428-440

Coauthor Index

1Luca Aceto [12]
2Michael Baldamus [14] [16]
3Jesper Bengtson [19]
4Ilaria Castellani [8]
5Gian Luigi Ferrari (GianLuigi Ferrari) [17]
6Neil Ghani [13]
7Magnus Johansson [19]
8Cosimo Laneve [9] [10] [11]
9Giuseppe Longo [12]
10Faron Moller [1]
11Ugo Montanari [17]
12Uwe Nestmann [4] [15]
13Catuscia Palamidessi [18]
14Joachim Parrow [2] [3] [5] [6] [7] [10] [14] [16] [19]
15Vijay A. Saraswat [18]
16Emilio Tuosto [17]
17Frank D. Valencia (Frank Valencia) [18]
18Kidane Yemane [13] [17]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)