The Mobility Workbench - A Tool for the pi-Calculus. - Björn Victor; Faron Moller (CAV, 1994)

Constraints as Processes. - Björn Victor; Joachim Parrow (CONCUR, 1996)

The Update Calculus (Extended Abstract). - Joachim Parrow; Björn Victor (AMAST, 1997)

The Tau-Laws of Fusion. - Joachim Parrow; Björn Victor (CONCUR, 1998)

Concurrent Constraints in the Fusion Calculus. - Björn Victor; Joachim Parrow (ICALP, 1998)

The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes - Joachim Parrow; Björn Victor (LICS, 1998)

Calculi for Mobile Processes - Bibliography and Web Pages. - Uwe Nestmann; Björn Victor (Bull. EATCS, 1998)

Preface. - Ilaria Castellani; Björn Victor (EXPRESS, 1999)

Solo Diagrams. - Cosimo Laneve; Joachim Parrow; Björn Victor (TACS, 2001)

Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. - Luca Aceto; Giuseppe Longo; Björn Victor (Math. Struct. Comput. Sci., 2003)

Solos In Concert. - Cosimo Laneve; Björn Victor (Math. Struct. Comput. Sci., 2003)

Spi Calculus Translated to ?–Calculus Preserving May-Tests. - Michael Baldamus; Joachim Parrow; Björn Victor (LICS, 2004)

Relationally Staged Computations in Calculi of Mobile Processes. - Neil Ghani; Kidane Yemane; Björn Victor (CMCS, 2004)

Modelling Fusion Calculus using HD-Automata. - Gian-Luigi Ferrari 002; Ugo Montanari; Emilio Tuosto; Björn Victor; Kidane Yemane (CALCO, 2005)

A Fully Abstract Encoding of the pi-Calculus with Data Terms. - Michael Baldamus; Joachim Parrow; Björn Victor (ICALP, 2005)

Guest editors' introduction: Special issue on The pi-calculus. - Uwe Nestmann; Björn Victor (J. Log. Algebraic Methods Program., 2005)

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. - Catuscia Palamidessi; Vijay A. Saraswat; Frank D. Valencia; Björn Victor (LICS, 2006)

Extended pi-Calculi. - Magnus Johansson; Joachim Parrow; Björn Victor; Jesper Bengtson (ICALP (2), 2008)

Psi-calculi: Mobile Processes, Nominal Data, and Logic. - Jesper Bengtson; Magnus Johansson; Joachim Parrow; Björn Victor (LICS, 2009)

A Fully Abstract Symbolic Semantics for Psi-Calculi - Magnus Johansson; Björn Victor; Joachim Parrow (SOS, 2009)

Weak Equivalences in Psi-Calculi. - Magnus Johansson; Jesper Bengtson; Joachim Parrow; Björn Victor (LICS, 2010)

Lower trees with fixed degrees: A recipe for efficient secure hierarchical aggregation in WSNs. - Davor Sutic; Ioana Rodhe; Christian Rohner; Björn Victor (WCNC, 2011)

Psi-calculi: a framework for mobile processes with nominal data and logic - Jesper Bengtson; Magnus Johansson; Joachim Parrow; Björn Victor (Log. Methods Comput. Sci., 2011)

The impact of trace and adversary models on location privacy provided by K-anonymity. - Volkan Cambazoglu; Christian Rohner; Björn Victor (MPM@EuroSys, 2012)

Computing strong and weak bisimulations for psi-calculi. - Magnus Johansson; Björn Victor; Joachim Parrow (J. Log. Algebraic Methods Program., 2012)

A Parametric Tool for Applied Process Calculi. - Johannes Borgström; Ramunas Gutkovas; Ioana Rodhe; Björn Victor (ACSD, 2013)

A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract). - Johannes Borgström; Ramunas Gutkovas; Joachim Parrow; Björn Victor; Johannes Åman Pohjola (TGC, 2013)

Enhanced learning by promoting engineering competencies. - Sofia Cassel; Aletta Nylén; Björn Victor (FIE, 2014)

A structured approach to training open-ended problem solving. - Sofia Cassel; Björn Victor (FIE, 2015)

Broadcast psi-calculi with an application to wireless protocols. - Johannes Borgström; Shuqin Huang; Magnus Johansson; Palle Raabjerg; Björn Victor; Johannes Åman Pohjola; Joachim Parrow (Softw. Syst. Model., 2015)

The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. - Johannes Borgström; Ramunas Gutkovas; Ioana Rodhe; Björn Victor (ACM Trans. Embed. Comput. Syst., 2015)

A Sorted Semantic Framework for Applied Process Calculi. - Johannes Borgström; Ramunas Gutkovas; Joachim Parrow; Björn Victor; Johannes Åman Pohjola (Log. Methods Comput. Sci., 2016)

Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education. - Mikael Laaksoharju; Thomas Taro Lennerfors; Björn Victor; Maja Elmgren (FIE, 2022)