- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j8 |      | Magnus Johansson, Björn Victor, Joachim Parrow: Computing strong and weak bisimulations for psi-calculi. J. Log. Algebr. Program. 81(3): 162-180 (2012) |
| 2011 | ||
| j7 | | Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor: Psi-calculi: a framework for mobile processes with nominal data and logic. Logical Methods in Computer Science 7(1) (2011) |
| c18 | | Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow: Broadcast Psi-calculi with an Application to Wireless Protocols. SEFM 2011: 74-89 |
| c17 | | Davor Sutic, Ioana Rodhe, Christian Rohner, Björn Victor: Lower trees with fixed degrees: A recipe for efficient secure hierarchical aggregation in WSNs. WCNC 2011: 659-664 |
| 2010 | ||
| c16 | | Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor: Weak Equivalences in Psi-Calculi. LICS 2010: 322-331 |
| 2009 | ||
| c15 | | Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor: Psi-calculi: Mobile Processes, Nominal Data, and Logic. LICS 2009: 39-48 |
| c14 | | Magnus Johansson, Björn Victor, Joachim Parrow: A Fully Abstract Symbolic Semantics for Psi-Calculi. SOS 2009: 17-31 |
| 2008 | ||
| c13 | | Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson: Extended pi-Calculi. ICALP (2) 2008: 87-98 |
| 2006 | ||
| c12 | | 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 | ||
| j6 | | Uwe Nestmann, Björn Victor: Guest editors' introduction: Special issue on The pi-calculus. J. Log. Algebr. Program. 63(1): 1-2 (2005) |
| c11 | | Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane: Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156 |
| c10 | | Michael Baldamus, Joachim Parrow, Björn Victor: A Fully Abstract Encoding of the pi-Calculus with Data Terms. ICALP 2005: 1202-1213 |
| 2004 | ||
| j5 | | Neil Ghani, Kidane Yemane, Björn Victor: Relationally Staged Computations in Calculi of Mobile Processes. Electr. Notes Theor. Comput. Sci. 106: 105-120 (2004) |
| c9 | | Michael Baldamus, Joachim Parrow, Björn Victor: Spi Calculus Translated to ?--Calculus Preserving May-Tests. LICS 2004: 22-31 |
| 2003 | ||
| j4 | | 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) |
| j3 | | Cosimo Laneve, Björn Victor: Solos In Concert. Mathematical Structures in Computer Science 13(5): 657-683 (2003) |
| 2001 | ||
| c8 | | |
| 1999 | ||
| j2 | | |
| c7 | | |
| 1998 | ||
| j1 |  | Uwe Nestmann, Björn Victor: Calculi for Mobile Processes - Bibliography and Web Pages. Bulletin of the EATCS 64 (1998) |
| c6 | | |
| c5 | | |
| c4 | | Joachim Parrow, Björn Victor: The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. LICS 1998: 176-185 |
| 1997 | ||
| c3 | | |
| 1996 | ||
| c2 | | |
| 1994 | ||
| c1 | | |
Colors in the list of coauthors
Last update Thu May 23 18:55:22 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page