Björn's publications

Computing Strong and Weak Bisimulations for Psi-Calculi. Magnus Johansson, Björn Victor, and Joachim Parrow. In Journal of Logic and Algebraic Programming, volume 81, Elsevier, 2012. (DOI). Publication status: In press
Broadcast Psi-calculi with an Application to Wireless Protocols. Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, and Joachim Parrow. In Software Engineering and Formal Methods: SEFM 2011, volume 7041 of Lecture Notes in Computer Science, pp 74-89, Springer Berlin/Heidelberg, Berlin, 2011. (DOI, fulltext).
Lower trees with fixed degrees: a recipe for efficient secure hierarchical aggregation in WSNs. Davor Sutic, Ioana Rodhe, Christian Rohner, and Björn Victor. IEEE Wireless Communications and Networking Conference 2011, 2011. (DOI).
Professionella kompetenser i projektkurser. Åsa Cajander, Mats Daniels, Helena Bernáld, and Björn Victor. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, Norrköping, 2011.
Psi-calculi: a framework for mobile processes with nominal data and logic. Jesper Bengtson, Magnus Johansson, Joachim Parrow, and Björn Victor. In Logical Methods in Computer Science, volume 7, number 1, p 11, 2011. (DOI).
A Fully Abstract Symbolic Semantics for Psi-Calculi. Magnus Johansson, Björn Victor, and Joachim Parrow. In Proc. 6th Workshop on Structural Operational Semantics: SOS 2009, volume 18 of Electronic Proceedings in Theoretical Computer Science, pp 17-31, 2010. (DOI).
Weak Equivalences in Psi-calculi. Magnus Johansson, Jesper Bengtson, Joachim Parrow, and Björn Victor. In Proc. 25th Symposium on Logic in Computer Science: LICS 2010, pp 322-331, IEEE, Piscataway, NJ, 2010. (DOI).
Psi-calculi: Mobile processes, nominal data, and logic. Jesper Bengtson, Magnus Johansson, Joachim Parrow, and Björn Victor. In Proc. 24th Annual IEEE Symposium on Logic in Computer Science, pp 39-48, IEEE, Piscataway, NJ, 2009. (DOI).
Extended pi-Calculi. Magnus Johansson, Joachim Parrow, Björn Victor, and Jesper Bengtson. In Automata, Languages and Programming, PT 2: Proceedings of ICALP 2008, volume 5126 of Lecture Notes in Computer Science, pp 87-98, 2008. (DOI).
On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus. Catuscia Palamidessi, Vijay Saraswat, Frank D. Valencia, and Björn Victor. In Proc. 21st Symposium on Logic In Computer Science: LICS 2006, pp 59-68, IEEE, Piscataway, NJ, 2006. (DOI).
A Fully Abstract Encoding of the pi-Calculus with Data Terms. Michael Baldamus, Joachim Parrow, and Björn Victor. In Proceedings of ICALP 2005, pp 1202-1213, 2005. (DOI, External link).
Modelling Fusion Calculus using HD-Automata. Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, and Kidane Yemane. Technical report / Department of Information Technology, Uppsala University nr 2005-038, 2005.
Modelling and Minimising the Fusion Calculus using HD-automata. Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, and Kidane Yemane. In Proceedings of CALCO 2005, 2005. (DOI, External link).
Relationally Staged Computations in Calculi of Mobile Processes. Neil Ghani, Kidane Yemane, and Björn Victor. In Proc. 7th Workshop on Coalgebraic Methods in Computer Science, volume 106 of Electronic Notes in Theoretical Computer Science, pp 105-120, Elsevier, 2004. (DOI).
Special issue on the pi-calculus. Uwe Nestmann and Björn Victor (eds). Volume 63(1) of Journal of Logic and Algebraic Programming, Elsevier, 2004. (DOI, External link).
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, pp 22-31, 2004. (External link).
Polyadic History-Dependent Automata for the Fusion Calculus. Emilio Tuosto, Björn Victor, and Kidane Yemane. IT Technical Reports nr 2003-062, 2003. (External link).
Solos in Concert. Cosimo Laneve and Björn Victor. In Mathematical Structures in Computer Science, volume 13, number 5, pp 657-683, 2003. (DOI).
Spi Calculus Translated to pi-Calculus Preserving May-Testing. Michael Baldamus, Joachim Parrow, and Björn Victor. IT Technical Reports nr 2003-063, 2003. (External link).
The difference between concurrent and sequential computation. Luca Aceto, Giuseppe Longo, and Björn Victor (eds). Volume 13(4-5) of Mathematical Structures in Computer Science, Cambridge University Press, 2003. (DOI).
Solo diagrams. Cosimo Laneve, Joachim Parrow, and Björn Victor. In Proceedings of TACS 2001, pp 127-144, 2001. (External link).
EXPRESS'00: 7th International Workshop on Expressiveness in Concurrency. Luca Aceto and Björn Victor (eds). Volume 39 of Electronic Notes in Theoretical Computer Science, Elsevier, 2000. (DOI, External link).
EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency. Ilaria Castellani and Björn Victor (eds). Volume 27 of Electronic Notes in Theoretical Computer Science, Elsevier Science BV, Amsterdam, 1999. (External link).
Proceedings of the 11th Nordic Workshop on Programming Theory. Björn Victor and Wang Yi (eds). IT Technical Reports, Dept. of Information Technology, Uppsala university, 1999. (External link).
Solos in Concert. Cosimo Laneve and Björn Victor. In Proceedings of ICALP'99, 1999. (External link).
Calculi for Mobile Processes: Bibliography and Web Pages. Uwe Nestmann and Björn Victor. In Bulletin of the EATCS, volume 64, 1998.
Concurrent Constraints in the Fusion Calculus. Björn Victor and Joachim Parrow. In Proceedings of ICALP'98, pp 455-469, 1998. (DOI).
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. Joachim Parrow and Björn Victor. In Proceedings of LICS'98, pp 176-185, 1998. (DOI).
The Tau-Laws of Fusion. Joachim Parrow and Björn Victor. In Proceedings of CONCUR'98, pp 99-114, 1998. (DOI).
The fusion calculus: Expressiveness and symmetry in mobile processes. Björn Victor. Ph.D. thesis, DoCS nr 98, Institutionen för datorteknik, Uppsala, 1998.
The Update Calculus. Joachim Parrow and Björn Victor. In Proceedings of AMAST'97, pp 409-423, 1997. (DOI).
Constraints as Processes. Björn Victor and Joachim Parrow. In Proceedings of CONCUR'96, pp 389-405, 1996. (DOI).
The Mobility Workbench: A Tool for the Pi-Calculus. Björn Victor and Faron Moller. In Proceedings of CAV'94, pp 428-440, 1994. (DOI).