@InProceedings(laneve.parrow.ea:solo-diagrams
  ,author 	= {Cosimo Laneve and Joachim Parrow and Bj{\"o}rn Victor}
  ,title 	= {Solo Diagrams}
  ,booktitle 	= {Proceedings of TACS 2001}
  ,pages	= {127-144}
  ,year		= 2001
  ,editor	= {Naoki Kobayashi and Benjamin C. Pierce}
  ,volume	= 2215
  ,series	= {Lecture Notes in Computer Science}
  ,publisher	= {Springer-Verlag}
  ,keywords 	= {fusion calculus, expressiveness, graphical formalism}
  ,url 		= {http://user.it.uu.se/~victor/tr/solodiagrams.shtml}
  ,abstract 	= {We address the problems of implementing the
replication operator efficiently in the solos calculus---a calculus of
mobile processes without prefix. This calculus is expressive enough to
admit an encoding of the whole fusion calculus and thus the
pi-calculus.
We show that nested occurrences of replication can be avoided, that
the size of replicated terms can be limited to three particles, and
that the usual unfolding semantics of replication can be replaced by
three simple reduction rules. To illustrate the results and show how
the calculus can be efficiently implemented we present a graphic
representation of agents in the solos calculus, adapting ideas from
interaction diagrams and pi-nets.}
)

@Proceedings(EXPRESS00
  ,title        = {EXPRESS '00: Expressiveness in Concurrency}
  ,booktitle    = {Proceedings of EXPRESS'00}
  ,year         = 2000
  ,month 	= aug # { 21}
  ,address 	= {State College, USA}
  ,editor       = {Luca Aceto and Bj{\"o}rn Victor}
  ,volume       = 39
  ,number 	= 1
  ,url          = {http://www.elsevier.nl/locate/entcs/volume39.html}
  ,series       = "Electronic Notes in Theoretical Computer Science"
  ,publisher    = {Elsevier Science Publishers}
)

@TechReport(victor.yi:proceedings-nordic
  ,author 	= {Bj{\"o}rn Victor and Wang Yi (Eds.)}
  ,title 	= {Proceedings of the 11th Nordic Workshop on Programming Theory}
  ,institution 	= "Department of Information Technology, Uppsala University"
  ,year 	= 1999
  ,number	= {1999-008}
  ,month	= oct
  ,url		= {http://user.it.uu.se/nwpt99/proceedings/}
)

@Proceedings(EXPRESS99
  ,title        = {EXPRESS '99: Expressiveness in Concurrency}
  ,booktitle    = {Proceedings of EXPRESS '99}
  ,year         = 1999
  ,month	= aug # { 23}
  ,address 	= {Eindhoven, The Netherlands}
  ,editor       = {Ilaria Castellani and Bj{\"o}rn Victor}
  ,volume       = 27
  ,url          = {http://www.elsevier.nl/locate/entcs/volume27.html}
  ,series       = "Electronic Notes in Theoretical Computer Science"
  ,publisher    = {Elsevier Science Publishers}
)


@Article(laneve.victor:solos-concert
  ,author 	= {Cosimo Laneve and Bj{\"o}rn Victor}
  ,title 	= {Solos in Concert}
  ,journal 	= {Mathematical Structures in Computer Science}
  ,year 	= 2003
  ,volume	= 13
  ,number	= 5
  ,pages	= {657-683}
  ,month	= oct
  ,url 		= {http://user.it.uu.se/~victor/tr/solos.shtml}
  ,keywords 	= {fusion calculus, minimality, expressiveness}
  ,abstract 	= {We present a calculus of mobile processes without prefix or summation,
called the {\em solos calculus}. Using two different encodings, we show 
that the solos calculus can express both
action prefix and guarded summation.  One encoding gives a strong
correspondence but uses a match operator; the other yields a slightly
weaker correspondence but uses no additional operators.
We also show that the expressive power of the solos calculus
is still retained by the sub-calculus where actions carry at most two names. 
On the contrary, expressiveness is lost in the solos calculus without match
and with actions carrying at most one name. 
}
)

@InProceedings(laneve.victor:solos-concert-conf
  ,author 	= {Cosimo Laneve and Bj{\"o}rn Victor}
  ,title 	= {Solos in Concert}
  ,booktitle 	= {Proceedings of ICALP'99}
  ,year		= 1999
  ,pages 	= {513--523}
  ,volume 	= {1644}
  ,editor 	= {Ji{\v{r}{\'{\i}}} Wiederman and Peter van Emde Boas and
                  Mogens Nielsen}
  ,series	= {Lecture Notes in Computer Science}
  ,address	= {Prague, Czech Republic}
  ,month	= jul
  ,publisher	= {Springer-Verlag}
  ,keywords	= {fusion calculus, minimality, expressiveness}
  ,url		= {http://user.it.uu.se/~victor/tr/solos.shtml}
  ,abstract	= {We present a calculus of mobile processes without prefix or summation,
and using two different encodings we show that it can express both
action prefix and guarded summation.  One encoding gives a strong
correspondence but uses a match operator; the other yields a slightly
weaker correspondence but uses no additional operators.}
)

@InProceedings(parrow.victor:tau-laws-fusion
  ,author       = {Joachim Parrow and Bj{\"o}rn Victor}
  ,title        = {The Tau-Laws of Fusion}
  ,booktitle    = {Proceedings of CONCUR'98}
  ,month        = sep
  ,editor       = {Davide Sangiorgi and Robert de Simone}
  ,volume       = 1466
  ,publisher    = {Springer-Verlag}
  ,series       = {Lecture Notes in Computer Science}
  ,pages        = {99-114}
  ,year         = 1998
  ,keywords     = {fusion calculus, weak congruence, axiomatization}
  ,url          = {http://user.it.uu.se/~victor/tr/taufusion.shtml}
)

@InProceedings(victor.parrow:concurrent-constraints
  ,author       = {Bj{\"o}rn Victor and Joachim Parrow}
  ,title        = {Concurrent Constraints in the Fusion Calculus}
  ,booktitle    = {Proceedings of ICALP '98}
  ,month        = jul
  ,editor       = {Kim G. Larsen and Sven Skyum and Glynn Winskel}
  ,volume       = 1443
  ,series       = {Lecture Notes in Computer Science}
  ,publisher    = {Springer-Verlag}
  ,pages        = {455--469}
  ,year         = {1998}
  ,keywords     = {fusion calculus, concurrent constraints, rho-calculus, weak
                  bisimulation, weak hyperequivalence, barbed
                  bisimulation, barbed congruence}
  ,url          = {http://user.it.uu.se/~victor/tr/ccfc.shtml}
)

@InProceedings(parrow.victor:fusion-calculus
  ,author       = {Joachim Parrow and Bj{\"o}rn Victor}
  ,title        = {The Fusion Calculus: Expressiveness and Symmetry in Mobile
                  Processes}
  ,booktitle    = {Proceedings of LICS '98}
  ,year         = 1998
  ,url          = {http://user.it.uu.se/~victor/tr/fusion.shtml}
  ,month        = jun
  ,organization = {IEEE}
  ,publisher    = {Computer Society Press}
)

@InProceedings(parrow.victor:update-calculus
  ,author       = {Joachim Parrow and Bj{\"o}rn Victor}
  ,title        = {The Update Calculus}
  ,booktitle    = {Proceedings of AMAST'97}
  ,editor       = {Michael Johnson}
  ,volume       = 1349
  ,series       = {Lecture Notes in Computer Science}
  ,publisher    = {Springer-Verlag}
  ,year         = 1997
  ,pages        = {409-423}
  ,url          = {http://user.it.uu.se/~victor/tr/upd.html}
  ,note         = {Full version available as Technical report DoCS 97/93,
                  Uppsala University}
)

@InProceedings(victor.moller:mobility-workbench
  ,author       = {Bj{\"o}rn Victor and Faron Moller}
  ,title        = {The {M}obility {W}orkbench --- A Tool for the
                  $\pi$-Calculus}
  ,booktitle    = {Proceedings of CAV '94}
  ,editor       = {David Dill}
  ,volume       = {818}
  ,series       = {Lecture Notes in Computer Science}
  ,publisher    = {Springer-Verlag}
  ,year         = {1994}
  ,pages        = {428--440}
  ,url          = {http://user.it.uu.se/~victor/tr/docs-tr-94-45.html}
)

@InProceedings(victor.parrow:constraints-processes
  ,author       = {Bj{\"o}rn Victor and Joachim Parrow}
  ,title        = {Constraints as Processes}
  ,booktitle    = {Proceedings of CONCUR '96}
  ,editor       = {Ugo Montanari and Vladimiro Sassone}
  ,publisher    = {Springer-Verlag}
  ,series       = {Lecture Notes in Computer Science}
  ,volume       = {1119}
  ,year         = {1996}
  ,pages        = {389--405}
  ,url          = {http://user.it.uu.se/~victor/tr/casp.html}
)

@PhDThesis(victor:verification-tool
  ,author       = {Bj{\"o}rn Victor}
  ,title        = {A Verification Tool for the Polyadic $\pi$-Calculus}
  ,institution  = {Department of Computer Systems, Uppsala University,
                  Sweden}
  ,year         = {1994}
  ,month        = {May}
  ,type         = {Licentiate thesis}
  ,note         = {Available as report {DoCS 94/50}}
  ,url          = {http://user.it.uu.se/~victor/tr/docs-tr-94-50.html}
)

@PhDThesis(victor:fusion-calculus
  ,author       = {Bj{\"o}rn Victor}
  ,title        = {The Fusion Calculus: Expressiveness and Symmetry in Mobile
                  Processes}
  ,school       = {Dept.\ of Computer Systems, Uppsala University, Sweden}
  ,year         = 1998
  ,number       = {98/98}
  ,month        = jun
  ,url          = {http://user.it.uu.se/~victor/thesis.shtml}
  ,abstract     = {The fusion calculus is presented as a significant step
                  towards a canonical calculus of concurrency. It simplifies
                  and extends the pi-calculus of Milner, Parrow and Walker.
                  
                  The fusion calculus contains the polyadic pi-calculus as a
                  proper subcalculus and thus inherits all its expressive
                  power. In addition fusion contains actions akin to updating
                  a shared state, and a scoping construct for bounding their
                  effects. Therefore it is easier to represent computational
                  models with shared state, including concurrent constraint
                  formalisms. It is also easy to represent the so called
                  strong reduction strategies in the lambda-calculus,
                  involving reduction under abstraction. In the pi-calculus
                  these tasks require elaborate encodings.
                  
                  The fusion calculus simplifies the pi-calculus by reducing
                  the number of binding operators and the number of
                  bisimulation equivalences, and by making input and output
                  symmetric like in pure CCS. We attain a calculus where
                  concepts from other models of computation are more easily
                  expressed than in the pi-calculus, thereby taking a step
                  towards a unified yet simple model of computation.
                  
                  In this thesis we present a broad foundational theory of
                  the fusion calculus. We define its labelled and unlabelled
                  operational semantics, and treat strong and weak
                  bisimulation equivalences for both semantics in some
                  detail, including complete axiom systems for finite terms.
                  The equivalences are given symbolic characterizations,
                  leading to algorithms and an automatic tool for equivalence
                  checking. We demonstrate the expressive power of the fusion
                  calculus to give simple encodings of foundational calculi
                  for functional and concurrent constraint programming. }
)