Selected papers by Björn Victor

Refereed publications

A Fully Abstract Encoding of the pi-Calculus with Data Terms. Michael Baldamus, Joachim Parrow, and Björn Victor.

In Proceedings of ICALP 2005, volume 3580 of Lecture Notes in Computer Science, Springer-Verlag, 2005.

Modelling and Minimising the Fusion Calculus using HD-automata. Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Kidane Yemane, and Björn Victor.

In Proceedings of CALCO 2005, volume 3629 of Lecture Notes in Computer Science, Springer-Verlag, 2005.

Spi Calculus Translated to pi-Calculus Preserving May-Tests. Michael Baldamus, Joachim Parrow, and Björn Victor.

In Proceedings of LICS 2004 (Logic in Computer Science), Turku, Finland, pp 22-31, IEEE Computer Society Press.

Relationally Staged Computations in Calculi of Mobile Processes. Neil Ghani, Kidane Yemane, and Björn Victor.

In J. Adamek and S. Milius, eds, Proceedings of CMCS 2004 (7th International Workshop on Coalgebraic Methods in Computer Science). ENTCS volume 106, pp 105-120. Elsevier, 2004.

Solo Diagrams. Cosimo Laneve, Joachim Parrow, and Björn Victor.

In N. Kobayashi and B.C. Pierce, eds, Proceedings of TACS 2001, Sendai, Japan, volume 2215 of Lecture Notes in Computer Science, pages 127-144. Springer-Verlag, 2001.

Solos in Concert. Cosimo Laneve and Björn Victor.

In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds, Proceedings of ICALP'99, Prague, volume 1644 of Lecture Notes in Computer Science, pages 513-523. Springer-Verlag, 1999.
Full version in MSCS (Mathematical Structures in Computer Science) Volume 13, Number 5 2003.

The Tau-Laws of Fusion. Joachim Parrow and Björn Victor.

In D. Sangiorgi and R. de Simone, eds, Proceedings of CONCUR'98, Nice, volume 1466 of Lecture Notes in Computer Science, pages 99-114. Springer-Verlag, 1998.

Concurrent Constraints in the Fusion Calculus. Björn Victor and Joachim Parrow.

In K.G. Larsen, S. Skyum and G. Winskel, eds, Proceedings of ICALP'98, Aalborg, volume 1443 of Lecture Notes in Computer Science, pages 455-469. Springer-Verlag, 1998.

The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. Joachim Parrow and Björn Victor.

In the Proceedings of LICS'98, Indianapolis, pages 176-185, IEEE Computer Society Press.

The Update Calculus. Joachim Parrow and Björn Victor.

In M. Johnson, ed, Proceedings of AMAST'97, Sydney, volume 1349 of Lecture Notes in Computer Science, pages 409-423. Springer-Verlag, 1997.

Constraints as Processes. Björn Victor and Joachim Parrow.

In U. Montanari & V. Sassone, eds, Proceedings of CONCUR'96, Pisa, volume 1119 of Lecture Notes in Computer Science, pages 389-405. Springer-Verlag, 1996.

The Mobility Workbench - A Tool for the Pi-Calculus. Björn Victor and Faron Moller.

In D. Dill, editor, Proceedings of CAV'94, Stanford, volume 818 of Lecture Notes in Computer Science, pages 428-440. Springer-Verlag, 1994.

Journal issues

JLAP (Journal of Logic and Algebraic Programming) volume 63, issue 1, guest editors Uwe Nestmann and Björn Victor.

Special issue on the pi-calculus.

MSCS (Mathematical Structures in Computer Science) volume 13, issue 4-5, guest editors Luca Aceto and Björn Victor.

Special issue on The Difference Between Concurrent And Sequential Computation.

Proceedings

Proceedings of NWPT'99: 11th Nordic Workshop on Programming Theory. Björn Victor and Wang Yi, editors.

Available on-line and as Technical Report 1999-008, Department of Information Technology, Uppsala University.

Proceedings of EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency.

Ilaria Castellani and Björn Victor, guest editors.
Volume 27 of ENTCS, the Electronic Notes in Theoretical Computer Science, Elsevier.

Proceedings of EXPRESS'00: 7th International Workshop on Expressiveness in Concurrency.

Luca Aceto and Björn Victor, guest editors.
Volume 39 of ENTCS, the Electronic Notes in Theoretical Computer Science, Elsevier.

Invited publications

Calculi for Mobile Processes: Bibliography and Web Pages. Uwe Nestmann and Björn Victor.

In Bulletin of the EATCS, number 64, February 1998. See also the mobility web pages.

Theses

The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. Björn Victor.

PhD thesis, Department of Computer Systems, Uppsala University, Sweden, June 1998. Available as report DoCS 98/98.

A Verification Tool for the Polyadic Pi-Calculus. Björn Victor.

Licentiate thesis, Department of Computer Systems, Uppsala University, Sweden, May 1994. Available as report DoCS 94/50.

Adding a Language with Composition to a Verification Tool. Björn Victor.

M.Sc. thesis, DoCS report 91/29.

Unrefereed publications

Polyadic History-Dependent Automata for the Fusion Calculus. Emilio Tuosto, Björn Victor, and Kidane Yemane.

IT Technical Report 2003-062.

Symbolic Characterizations and Algorithms for Hyperequivalence. Björn Victor.

DoCS report 98/96.

The Update Calculus. Joachim Parrow and Björn Victor.

DoCS report 97/93. An extended abstract appeared in the Proceedings of AMAST'97, Sydney, volume 1349 of LNCS. Springer-Verlag, 1997.

Delayed Evaluation of Gigabits Protocols. Per Gunningberg, Craig Partridge, Teet Sirotkin and Björn Victor.

In B. Pehrson and Y. Sundblad, editors, Proceedings of the 2nd MultiG Workshop, June 1991.