@article(AH1992,
 author       = {Luca Aceto and Matthew Hennessy},
 year         = {1992},
 title        = {Termination, deadlock, and divergence},
 journal      = {Journal of the ACM (JACM)},
 volume       = {39},
 number       = {1},
 pages        = {147--187},
 doi          = {10.1145/147508.147527},
)
@book(BBR2010,
 author       = {Jos Baeten and Twan Basten and Michel Reniers},
 year         = {2010},
 title        = {Process algebra: equational theories of communicating processes},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 volume       = {50},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139195003},
)
@article(BBK93,
 author       = {Jos Baeten and Jan Bergstra and Jan Klop},
 year         = {1993},
 title        = {Decidability of bisimulation equivalence for processes generating context-free languages},
 journal      = {J. {ACM}},
 volume       = {40},
 number       = {3},
 pages        = {653--682},
 doi          = {10.1145/174130.174141},
)
@inproceedings(BCvT2008,
 author       = {Jos Baeten and Pieter Cuijpers and Paul van Tilburg},
 year         = {2008},
 title        = {A context-free process as a pushdown automaton},
 booktitle    = {International Conference on Concurrency Theory},
 organization = {Springer},
 pages        = {98--113},
 doi          = {10.1007/978-3-540-85361-9\_11},
)
@article(BLT2013,
 author       = {Jos Baeten and Bas Luttik and Paul van Tilburg},
 year         = {2013},
 title        = {{Reactive Turing Machines}},
 journal      = {Inform. Comput.},
 volume       = {231},
 pages        = {143--166},
 doi          = {10.1016/j.ic.2013.08.010},
)
@article(LY17a,
 author       = {Jos Baeten and Bas Luttik and Fei Yang},
 year         = {2017},
 title        = {{Sequential composition in the presence of intermediate termination}},
 journal      = {CoRR},
 volume       = {abs/1706.08401},
 url          = {http://arxiv.org/abs/1706.08401},
)
@inproceedings(BCLT2009,
 author       = {Jos C. M. Baeten and Pieter J. L. Cuijpers and Bas Luttik and P. J. A. van Tilburg},
 year         = {2009},
 title        = {A process-theoretic look at automata},
 editor       = {Farhad Arbab and Marjan Sirjani},
 booktitle    = {Fundamentals of Software Engineering, Third {IPM} International Conference, {FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {5961},
 publisher    = {Springer},
 pages        = {1--33},
 doi          = {10.1007/978-3-642-11623-0\_1},
)
@article(BLMvT16,
 author       = {Jos C. M. Baeten and Bas Luttik and Tim Muller and Paul van Tilburg},
 year         = {2016},
 title        = {Expressiveness modulo bisimilarity of regular expressions with parallel composition},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {26},
 pages        = {933--968},
 doi          = {10.1017/S0960129514000309},
)
@inproceedings(BLT11a,
 author       = {Jos C. M. Baeten and Bas Luttik and Paul van Tilburg},
 year         = {2011},
 title        = {Computations and interaction},
 editor       = {Raja Natarajan and Adegboyega K. Ojo},
 booktitle    = {ICDCIT},
 series       = {Lecture Notes in Computer Science},
 volume       = {6536},
 publisher    = {Springer},
 pages        = {35--54},
 doi          = {10.1007/978-3-642-19056-8\_3},
)
@inproceedings(BLT12,
 author       = {Jos C. M. Baeten and Bas Luttik and Paul van Tilburg},
 year         = {2012},
 title        = {Turing Meets Milner},
 editor       = {Maciej Koutny and Irek Ulidowski},
 booktitle    = {CONCUR},
 series       = {Lecture Notes in Computer Science},
 volume       = {7454},
 publisher    = {Springer},
 pages        = {1--20},
 doi          = {10.1007/978-3-642-32940-1\_1},
)
@article(Bergstra1994,
 author       = {Jan Bergstra and Inge Bethke and Alban Ponse},
 year         = {1994},
 title        = {Process algebra with iteration and nesting},
 journal      = {The Computer Journal},
 volume       = {37},
 number       = {4},
 pages        = {243--258},
 doi          = {10.1093/comjnl/37.4.243},
)
@article(bergstra2001non,
 author       = {Jan Bergstra and Alban Ponse},
 year         = {2001},
 title        = {Non-regular iterators in process algebra},
 journal      = {Theoretical Computer Science},
 volume       = {269},
 number       = {1},
 pages        = {203--229},
 doi          = {10.1016/S0304-3975(00)00413-8},
)
@article(Bloom1994,
 author       = {Bard Bloom},
 year         = {1994},
 title        = {When is partial trace equivalence adequate?},
 journal      = {Formal Aspects of Computing},
 volume       = {6},
 number       = {3},
 pages        = {317--338},
 doi          = {10.1007/BF01215409},
)
@inproceedings(FvGL2017,
 author       = {Wan Fokkink and Rob van Glabbeek and Bas Luttik},
 year         = {2017},
 title        = {Divide and congruence {III}: stability \& divergence},
 booktitle    = {Proceedings 28th International Conference on Concurrency Theory (CONCUR 2017)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {85},
 pages        = {11:1--11:15},
)
@article(vGLT2009a,
 author       = {Rob van Glabbeek and Bas Luttik and Tr{\v{c}}ka, Nikola},
 year         = {2009},
 title        = {Branching bisimilarity with explicit divergence},
 journal      = {Fundamenta Informaticae},
 volume       = {93},
 number       = {4},
 pages        = {371--392},
 doi          = {10.3233/FI-2009-109},
)
@inproceedings(Glabbeek1993,
 author       = {Rob J. van Glabbeek},
 year         = {1993},
 title        = {The linear time - branching time spectrum {II}},
 editor       = {Eike Best},
 booktitle    = {{CONCUR} '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {715},
 publisher    = {Springer},
 pages        = {66--81},
 doi          = {10.1007/3-540-57208-2\_6},
)
@article(vG2004,
 author       = {Rob J. van Glabbeek},
 year         = {2004},
 title        = {The meaning of negative premises in transition system specifications {II}},
 journal      = {J. Log. Algebr. Program.},
 volume       = {60-61},
 pages        = {229--258},
 doi          = {10.1016/j.jlap.2004.03.007},
)
@article(vGLT2009b,
 author       = {Rob J. van Glabbeek and Bas Luttik and Tr\v{c}ka, Nikola},
 year         = {2009},
 title        = {{C}omputation {T}ree {L}ogic with deadlock detection},
 journal      = {Logical Methods in Computer Science},
 volume       = {5},
 number       = {4},
 doi          = {10.2168/LMCS-5(4:5)2009},
)
@inproceedings(LY15,
 author       = {Bas Luttik and Fei Yang},
 year         = {2015},
 title        = {Executable behaviour and the {$\pi$}-calculus (extended abstract)},
 editor       = {Sophia Knight and Ivan Lanese and Lluch{-}Lafuente, Alberto and Hugo Torres Vieira},
 booktitle    = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015.},
 series       = {{EPTCS}},
 volume       = {189},
 pages        = {37--52},
 doi          = {10.4204/EPTCS.189.5},
)
@inproceedings(LY16,
 author       = {Bas Luttik and Fei Yang},
 year         = {2016},
 title        = {{On the executability of interactive computation}},
 editor       = {Arnold Beckmann and Laurent Bienvenu and Natasa Jonoska},
 booktitle    = {Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9709},
 publisher    = {Springer},
 pages        = {312--322},
 doi          = {10.1007/978-3-319-40189-8\_32},
)
@book(M1989,
 author       = {Robin Milner},
 year         = {1989},
 title        = {Communication and concurrency},
 series       = {{PHI} Series in computer science},
 publisher    = {Prentice Hall},
)
@inproceedings(Moller1996,
 author       = {Faron Moller},
 year         = {1996},
 title        = {Infinite results},
 editor       = {Ugo Montanari and Vladimiro Sassone},
 booktitle    = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1119},
 publisher    = {Springer},
 pages        = {195--216},
 doi          = {10.1007/3-540-61604-7\_56},
)
@inproceedings(P1981,
 author       = {David Park},
 year         = {1981},
 title        = {Concurrency and automata on infinite sequences},
 editor       = {P. Deussen},
 booktitle    = {Theoretical Computer Science},
 series       = {Lectures Notes in Computer Science},
 volume       = {104},
 publisher    = {Springer},
 pages        = {167--183},
 doi          = {10.1007/BFb0017309},
)
@article(Turing1936,
 author       = {Alan Turing},
 year         = {1937},
 title        = {{On Computable Numbers, with an Application to the Entscheidungsproblem}},
 journal      = {Proceedings of the London Mathematical Society},
 volume       = {s2-42},
 number       = {1},
 pages        = {230--265},
 doi          = {10.1112/plms/s2-42.1.230},
)