@article(BBK86,
author = {J. C. M. Baeten and J. A. Bergstra and J. W. Klop},
year = {1986},
title = {Syntax and defining equations for an interrupt mechanism in process algebra},
journal = {Fundamenta Informaticae},
volume = {9},
number = {2},
pages = {127--167},
)
@article(BLT13,
author = {J. C. M. Baeten and B. Luttik and P. van Tilburg},
year = {2013},
title = {Reactive Turing machines},
journal = {Inf. Comput.},
volume = {231},
pages = {143--166},
doi = {10.1016/j.ic.2013.08.010},
)
@inproceedings(BLY17,
author = {J. C. M. Baeten and B. Luttik and F. Yang},
year = {2017},
title = {Sequential Composition in the Presence of Intermediate Termination (Extended Abstract)},
editor = {K. Peters and S. Tini},
booktitle = {{\rm Proceedings Combined 24th International Workshop on} Expressiveness in Concurrency {\rm and 14th Workshop on} Structural Operational Semantics, {\rm {EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017}},
series = {{EPTCS}},
volume = {255},
pages = {1--17},
doi = {10.4204/EPTCS.255.1},
)
@inproceedings(BLB19,
author = {A. Belder and B. Luttik and J. C. M. Baeten},
year = {2019},
title = {Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity},
editor = {M. Roggenbach and A. Sokolova},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
pages = {11:1--11:22},
doi = {10.4230/LIPIcs.CALCO.2019.11},
)
@article(Blo94,
author = {B. Bloom},
year = {1994},
title = {When is Partial Trace Equivalence Adequate?},
journal = {Formal Asp. Comput.},
volume = {6},
number = {3},
pages = {317--338},
doi = {10.1007/BF01215409},
)
@article(DV95,
author = {{De Nicola}, R. and F. W. Vaandrager},
year = {1995},
title = {Three Logics for Branching Bisimulation},
journal = {Journal of the ACM},
volume = {42},
number = {2},
pages = {458--487},
doi = {10.1145/201019.201032},
)
@article(EC82,
author = {E. A. Emerson and E. M. Clarke},
year = {1982},
title = {Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons},
journal = {Science of Computer Programming},
volume = {2},
number = {3},
pages = {241--266},
doi = {10.1016/0167-6423(83)90017-5},
)
@article(EH86,
author = {E. A. Emerson and J.Y. Halpern},
year = {1986},
title = {{`Sometimes'} and {`Not Never'} revisited: on branching time versus linear time temporal logic},
journal = {Journal of the ACM},
volume = {33},
number = {1},
pages = {151--178},
doi = {10.1145/4904.4999},
)
@inproceedings(ERL20,
author = {R. Erkens and J. Rot and B. Luttik},
year = {2020},
title = {Up-to Techniques for Branching Bisimilarity},
editor = {A. Chatzigeorgiou and R. Dondi and H. Herodotou and C. A. Kapoutsis and Y. Manolopoulos and G. A. Papadopoulos and F. Sikora},
booktitle = {{SOFSEM} 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, {SOFSEM} 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12011},
publisher = {Springer},
pages = {285--297},
doi = {10.1007/978-3-030-38919-2\_24},
)
@article(FGW12,
author = {W. J. Fokkink and R. J. van Glabbeek and P. de Wind},
year = {2012},
title = {Divide and congruence: From decomposition of modal formulas to preservation of branching and {$\eta$}-bisimilarity},
journal = {Inf. Comput.},
volume = {214},
pages = {59--85},
doi = {10.1016/j.ic.2011.10.011},
)
@article(FvGL2019,
author = {W. J. Fokkink and Glabbeek R. J. van and B. Luttik},
year = {2019},
title = {Divide and congruence {III:} From decomposition of modal formulas to preservation of stability and divergence},
journal = {Inf. Comput.},
volume = {268},
doi = {10.1016/j.ic.2019.104435},
)
@article(GLS20,
author = {R. J. van Glabbeek and B. Luttik and L. Spaninks},
year = {2020},
title = {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence},
journal = {CoRR},
volume = {abs/1801.01180},
url = {http://arxiv.org/abs/1801.01180},
note = {Submitted},
)
@inproceedings(Gla93a,
author = {R. J. van Glabbeek},
year = {1993},
title = {The Linear Time -- Branching Time Spectrum {II}; The semantics of sequential systems with silent moves (extended abstract)},
editor = {E. Best},
booktitle = {{\rm Proceedings 4$^{\it th}$ International Conference on} Concurrency Theory, {\rm CONCUR'93, Hildesheim, Germany, August 1993}},
series = {\rm LNCS},
volume = {715},
publisher = {Springer},
pages = {66--81},
doi = {10.1007/3-540-57208-2\_6},
)
@article(GLT09a,
author = {R. J. van Glabbeek and B. Luttik and Tr\v{c}ka, N.},
year = {2009},
title = {Branching Bisimilarity with Explicit Divergence},
journal = {Fundamenta Informaticae},
volume = {93},
number = {4},
pages = {371--392},
doi = {10.3233/FI-2009-109},
)
@article(GLT09b,
author = {R. J. van Glabbeek and B. Luttik and Tr\v{c}ka, N.},
year = {2009},
title = {Computation Tree Logic with Deadlock Detection},
journal = {Logical Methods in Computer Science},
volume = {5},
number = {4},
doi = {10.2168/LMCS-5(4:5)2009},
)
@article(GW96,
author = {R. J. van Glabbeek and W. P. Weijland},
year = {1996},
title = {Branching time and abstraction in bisimulation semantics},
journal = {Journal of the ACM},
volume = {43},
number = {3},
pages = {555--600},
doi = {10.1145/233551.233556},
)
@inproceedings(GS87,
author = {S. Graf and J. Sifakis},
year = {1987},
title = {Readiness Semantics for Regular Processes with Silent Actions},
editor = {T. Ottmann},
booktitle = {Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {267},
publisher = {Springer},
pages = {115--125},
doi = {10.1007/3-540-18088-5\_10},
)
@article(GJKW17,
author = {J. F. Groote and D. N. Jansen and J. J. A. Keiren and A. J. Wijs},
year = {2017},
title = {An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation},
journal = {ACM Trans. Comput. Logic},
volume = {18},
number = {2},
doi = {10.1145/3060140},
)
@article(LDH05,
author = {M. Lohrey and P. R. D'Argenio and H. Hermanns},
year = {2005},
title = {Axiomatising divergence},
journal = {Inf. Comput.},
volume = {203},
number = {2},
pages = {115--144},
doi = {10.1016/j.ic.2005.05.007},
)
@article(LY20,
author = {B. Luttik and F. Yang},
year = {2020},
title = {The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable},
journal = {CoRR},
volume = {abs/1410.4512v8},
url = {http://arxiv.org/abs/1410.4512},
)
@book(Mil80,
author = {R. Milner},
year = {1980},
title = {A Calculus of Communicating Systems},
series = {Lecture Notes in Computer Science},
volume = {92},
publisher = {Springer},
doi = {10.1007/3-540-10235-3},
)
@article(Mil89,
author = {R. Milner},
year = {1989},
title = {A Complete Axiomatisation for Observational Congruence of Finite-State Behaviors},
journal = {Inf. Comput.},
volume = {81},
number = {2},
pages = {227--247},
doi = {10.1016/0890-5401(89)90070-9},
)
@incollection(Mil89h,
author = {R. Milner},
year = {1990},
title = {Operational and Algebraic Semantics of Concurrent Processes},
editor = {Jan van Leeuwen},
booktitle = {Handbook of Theoretical Computer Science (Vol. B)},
publisher = {MIT Press},
address = {Cambridge, MA, USA},
pages = {1201--1242},
url = {http://dl.acm.org/citation.cfm?id=114891.114910},
)
@inproceedings(Pet19,
author = {K. Peters},
year = {2019},
title = {Comparing Process Calculi Using Encodings},
editor = {J. A. P{\'{e}}rez and J. Rot},
booktitle = {Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2019, Amsterdam, The Netherlands, 26th August 2019},
series = {{EPTCS}},
volume = {300},
pages = {19--38},
doi = {10.4204/EPTCS.300.2},
)
@inproceedings(Phi93,
author = {I. Phillips},
year = {1993},
title = {A Note on Expressiveness of Process Algebra},
editor = {G. L. Burn and S. J. Gay and M. Ryan},
booktitle = {{\rm Proceedings of the First Imperial College Department of Computing Workshop on} Theory and Formal Methods, {\rm Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993}},
series = {Workshops in Computing},
publisher = {Springer},
pages = {260--264},
)