@article(AFIL05,
 author       = {L. Aceto and W. Fokkink and A. Ing{\'{o}}lfsd{\'{o}}ttir and B. Luttik},
 year         = {2005},
 title        = {{CCS} with {H}ennessy's merge has no finite-equational axiomatization},
 journal      = {Theor. Comput. Sci.},
 volume       = {330},
 number       = {3},
 pages        = {377--405},
 doi          = {10.1016/j.tcs.2004.10.003},
)
@article(AFIL09,
 author       = {L. Aceto and W. Fokkink and A. Ing{\'{o}}lfsd{\'{o}}ttir and B.. Luttik},
 year         = {2009},
 title        = {A finite equational base for {CCS} with left merge and communication merge},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {10},
 number       = {1},
 doi          = {10.1145/1459010.1459016},
)
@inproceedings(AILT08,
 author       = {L. Aceto and A. Ing{\'{o}}lfsd{\'{o}}ttir and B. Luttik and P. van Tilburg},
 year         = {2008},
 title        = {Finite Equational Bases for Fragments of {CCS} with Restriction and Relabelling},
 booktitle    = {{IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science},
 pages        = {317--332},
 doi          = {10.1007/978-0-387-09680-3\_22},
)
@phdthesis(Cas88,
 author       = {I. Castellani},
 year         = {1998},
 title        = {Bisimulations for Concurrency},
 school       = {University of Edinburgh},
 note         = {Also published as LFCS-88-51},
)
@phdthesis(Chris93,
 author       = {S. Christensen},
 year         = {1993},
 title        = {Decidability and Decomposition in Process Algebra},
 school       = {University of Edinburgh},
)
@article(CGM98,
 author       = {F. Corradini and R. Gorrieri and D. Marchignoli},
 year         = {1998},
 title        = {Towards parallelization of concurrent systems},
 journal      = {Informatique th{\'e}orique et applications},
 volume       = {32},
 number       = {4-6},
 pages        = {99--125},
)
@article(DELL16,
 author       = {J. Dreier and C. Ene and P. Lafourcade and Y. Lakhnech},
 year         = {2016},
 title        = {On the existence and decidability of unique decompositions of processes in the applied {$\pi$}-calculus},
 journal      = {Theor. Comput. Sci.},
 volume       = {612},
 pages        = {102--125},
 doi          = {10.1016/j.tcs.2015.11.033},
)
@inproceedings(DLL12,
 author       = {J. Dreier and P. Lafourcade and Y. Lakhnech},
 year         = {2012},
 title        = {Defining Privacy for Weighted Votes, Single and Multi-voter Coercion},
 booktitle    = {{ESORICS} 2012},
 pages        = {451--468},
 doi          = {10.1007/978-3-642-33167-1\_26},
)
@inproceedings(FL00,
 author       = {W. Fokkink and B. Luttik},
 year         = {2000},
 title        = {An \emph{omega}-Complete Equational Specification of Interleaving},
 booktitle    = {Automata, Languages and Programming, 27th International Colloquium, {ICALP} 2000},
 pages        = {729--743},
 doi          = {10.1007/3-540-45022-X\_61},
)
@inproceedings(GM92,
 author       = {J. Friso Groote and F. Moller},
 year         = {1992},
 title        = {Verification of Parallel Systems via Decomposition},
 booktitle    = {{CONCUR} '92, Third International Conference on Concurrency Theory},
 pages        = {62--76},
 doi          = {10.1007/BFb0084783},
)
@article(HP08,
 author       = {D. Hirschkoff and D. Pous},
 year         = {2008},
 title        = {A Distribution Law for {CCS} and a New Congruence Result for the $\pi$-calculus},
 journal      = {Logical Methods in Computer Science},
 volume       = {4},
 number       = {2},
 doi          = {10.2168/LMCS-4(2:4)2008},
)
@inproceedings(HJ99,
 author       = {Y. Hirshfeld and M. Jerrum},
 year         = {1999},
 title        = {Bisimulation Equivalence Is Decidable for Normed Process Algebra},
 booktitle    = {Automata, Languages and Programming, 26th International Colloquium, ICALP'99},
 pages        = {412--421},
 doi          = {10.1007/3-540-48523-6\_38},
)
@article(LPSS11,
 author       = {I. Lanese and J. A. P{\'{e}}rez and D. Sangiorgi and A. Schmitt},
 year         = {2011},
 title        = {On the expressiveness and decidability of higher-order process calculi},
 journal      = {Inf. Comput.},
 volume       = {209},
 number       = {2},
 pages        = {198--226},
 doi          = {10.1016/j.ic.2010.10.001},
)
@article(Luttik16,
 author       = {B. Luttik},
 year         = {2016},
 title        = {Unique parallel decomposition in branching and weak bisimulation semantics},
 journal      = {Theor. Comput. Sci.},
 volume       = {612},
 pages        = {29--44},
 doi          = {10.1016/j.tcs.2015.10.013},
)
@article(LO05,
 author       = {B. Luttik and V. van Oostrom},
 year         = {2005},
 title        = {Decomposition orders another generalisation of the fundamental theorem of arithmetic},
 journal      = {Theor. Comput. Sci.},
 volume       = {335},
 number       = {2-3},
 pages        = {147--186},
 doi          = {10.1016/j.tcs.2004.11.019},
)
@article(MM93,
 author       = {R. Milner and F. Moller},
 year         = {1993},
 title        = {Unique Decomposition of Processes},
 journal      = {Theor. Comput. Sci.},
 volume       = {107},
 number       = {2},
 pages        = {357--363},
 doi          = {10.1016/0304-3975(93)90176-T},
)
@phdthesis(Moller89,
 author       = {F. Moller},
 year         = {1989},
 title        = {Axioms for Concurrency},
 school       = {University of Edinburgh},
)
@inproceedings(Moller90b,
 author       = {F. Moller},
 year         = {1990},
 title        = {The Importance of the Left Merge Operator in Process Algebras},
 booktitle    = {Automata, Languages and Programming, 17th International Colloquium, ICALP90},
 pages        = {752--764},
 doi          = {10.1007/BFb0032072},
)
@inproceedings(Moller90a,
 author       = {F. Moller},
 year         = {1990},
 title        = {The Nonexistence of Finite Axiomatisations for {CCS} Congruences},
 booktitle    = {Proceedings of {LICS '90}},
 pages        = {142--153},
 doi          = {10.1109/LICS.1990.113741},
)
@book(SW01,
 author       = {D. Sangiorgi and D. Walker},
 year         = {2001},
 title        = {$\pi$-Calculus: A Theory of Mobile Processes},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
)