@article(AB84,
author = {D. Austry and G. Boudol},
year = {1984},
title = {Alg\`{e}bre de processus et synchronisations},
journal = {Theoretical Computer Science},
volume = {30},
number = {1},
pages = {91--131},
doi = {10.1016/0304-3975(84)90067-7},
)
@article(BBB07,
author = {P. Baldan and A. Bracciali and R. Bruni},
year = {2007},
title = {A semantic framework for open processes},
journal = {Theoretical Computer Science},
volume = {389},
number = {3},
pages = {446--483},
doi = {10.1016/j.tcs.2007.09.004},
)
@inproceedings(BK84,
author = {J.A. Bergstra and J.W. Klop},
year = {1984},
title = {The algebra of recursively defined processes and the algebra of regular processes},
editor = {J. Paredaens},
booktitle = {{\rm Proceedings $11^{th}$ ICALP}, {\em Antwerpen}},
series = {\rm LNCS},
volume = {172},
publisher = {Springer},
pages = {82--94},
doi = {10.1007/3-540-13345-3\_7},
)
@techreport(BrGH16b,
author = {E. Bres and R.J. van Glabbeek and P. H{\"o}fner},
year = {2016},
title = {A Timed Process Algebra for Wireless Networks with an Application in Routing},
type = {Technical Report},
number = {9145},
institution = {NICTA},
url = {http://arxiv.org/abs/1606.03663},
note = {Extended abstract in P. Thiemann, editor: {\sl Programming Languages and Systems: {\rm Proceedings 25th} European Symposium on Programming, {\rm ESOP'16; held as part of the} European Joint Conferences on Theory and Practice of Software, {\rm ETAPS'16}}, LNCS 9632, Springer, 2016, pp. 95-122},
)
@article(BHR84,
author = {S.D. Brookes and C.A.R. Hoare and A.W. Roscoe},
year = {1984},
title = {A theory of communicating sequential processes},
journal = {Journal of the ACM},
volume = {31},
number = {3},
pages = {560--599},
doi = {10.1145/828.833},
)
@book(Fok00,
author = {W.J. Fokkink},
year = {2000},
title = {Introduction to Process Algebra},
series = {Texts in Theoretical Computer Science, An EATCS Series},
publisher = {Springer},
doi = {10.1007/978-3-662-04293-9},
)
@inproceedings(FGL17a,
author = {W.J. Fokkink and R.J. van Glabbeek and B. Luttik},
year = {2017},
title = {Divide and Congruence III: Stability \& Divergence},
editor = {R. Meyer and U. Nestmann},
booktitle = {{\rm Proceedings 28th International Conference on} Concurrency Theory, {\rm CONCUR'17}},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {85},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
address = {Dagstuhl, Germany},
pages = {15:1--15:16},
doi = {10.4230/LIPIcs.CONCUR.2017.15},
url = {http://theory.stanford.edu/~rvg/abstracts.html#124},
)
@inproceedings(GM00,
author = {F. Gadducci and U. Montanari},
year = {2000},
title = {The tile model},
editor = {G.D. Plotkin and C. Stirling and M. Tofte},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
publisher = {The {MIT} Press},
pages = {133--166},
)
@inproceedings(vG93d,
author = {R.J. van Glabbeek},
year = {1993},
title = {Full abstraction in structural operational semantics (extended abstract)},
editor = {M. Nivat and C. Rattray and T. Rus and G. Scollo},
booktitle = {{\rm Proceedings $3^{rd}$ International Conference on} Algebraic Methodology and Software Technology, {\rm AMAST'93, Twente, The Netherlands, June l993}},
series = {Workshops in Computing},
publisher = {Springer},
pages = {77--84},
url = {http://theory.stanford.edu/~rvg/abstracts.html#28},
)
@inproceedings(vG94,
author = {R.J. van Glabbeek},
year = {1994},
title = {On the expressiveness of {ACP} (extended abstract)},
editor = {A. Ponse and C. Verhoef and S.F.M. van Vlijmen},
booktitle = {{\rm Proceedings First Workshop on the} Algebra of Communicating Processes, {\rm ACP94}},
series = {Workshops in Computing},
publisher = {Springer},
pages = {188--217},
doi = {10.1007/978-1-4471-2120-6\_8},
url = {http://theory.stanford.edu/~rvg/abstracts.html#31},
)
@article(vG04,
author = {R.J. van Glabbeek},
year = {2004},
title = {The Meaning of Negative Premises in Transition System Specifications {II}},
journal = {Journal of Logic and Algebraic Programming},
volume = {60--61},
pages = {229--258},
doi = {10.1016/j.jlap.2004.03.007},
url = {http://theory.stanford.edu/~rvg/abstracts.html#53},
)
@incollection(vG00,
author = {R.J. van Glabbeek},
year = {2011},
title = {Bisimulation},
editor = {D. Padua},
booktitle = {Encyclopedia of Parallel Computing},
publisher = {Springer},
pages = {136--139},
doi = {10.1007/978-0-387-09766-4\_149},
url = {http://theory.stanford.edu/~rvg/abstracts.html#45},
)
@inproceedings(vG17b,
author = {R.J. van Glabbeek},
year = {2017},
title = {Lean and Full Congruence Formats for Recursion},
booktitle = {{\rm Proceedings $32^{nd}$ Annual ACM/IEEE Symposium on} Logic in Computer Science, {\rm LICS'17, Reykjavik, Iceland, 2017}},
publisher = {IEEE Computer Society Press},
doi = {10.1109/LICS.2017.8005142},
url = {https://arxiv.org/abs/1704.03160},
)
@inproceedings(vG18b,
author = {R.J. van Glabbeek},
year = {2018},
title = {A Theory of Encodings and Expressiveness},
editor = {C. Baier and U. Dal Lago},
booktitle = {{\rm Proceeding 21st International Conference on} Foundations of Software Science and Computational Structures, {\rm FoSSaCS'18; held as part of the} European Joint Conferences on Theory and Practice of Software, {\rm ETAPS'18}},
series = {\rm LNCS},
volume = {10803},
publisher = {Springer},
pages = {183--202},
doi = {10.1007/978-3-319-89366-2\_10},
)
@article(Gr93,
author = {J.F. Groote},
year = {1993},
title = {Transition System Specifications with Negative Premises},
journal = {Theoretical Computer Science},
volume = {118},
pages = {263--299},
doi = {10.1016/0304-3975(93)90111-6},
)
@article(GrV92,
author = {J.F. Groote and F.W. Vaandrager},
year = {1992},
title = {Structured Operational Semantics and Bisimulation as a Congruence},
journal = {Information and Computation},
volume = {100},
number = {2},
pages = {202--260},
doi = {10.1016/0890-5401(92)90013-6},
)
@article(LL91,
author = {K.G. Larsen and X. Liu},
year = {1991},
title = {Compositionality through an Operational Semantics of Contexts},
journal = {Journal of Logic and Computation},
volume = {1},
number = {6},
pages = {761--795},
doi = {10.1093/logcom/1.6.761},
)
@article(LV96,
author = {N.A. Lynch and F.W. Vaandrager},
year = {1996},
title = {Action Transducers and Timed Automata},
journal = {Formal Aspects of Computing},
volume = {8},
number = {5},
pages = {499--538},
doi = {10.1007/BF01211907},
)
@book(Ma77,
author = {Y.I. Manin},
year = {1977},
title = {A Course in Mathematical Logic},
series = {Graduate Texts in Mathematics},
volume = {53},
publisher = {Springer},
doi = {10.1007/978-1-4757-4385-2},
)
@article(Mi83,
author = {R. Milner},
year = {1983},
title = {Calculi for synchrony and asynchrony},
journal = {Theoretical Computer Science},
volume = {25},
number = {3},
pages = {267--310},
doi = {10.1016/0304-3975(83)90114-7},
)
@incollection(Mi90ccs,
author = {R. Milner},
year = {1990},
title = {Operational and algebraic semantics of concurrent processes},
editor = {J. van Leeuwen},
booktitle = {Handbook of Theoretical Computer Science},
chapter = {19},
publisher = {Elsevier Science Publishers B.V. (North-Holland)},
pages = {1201--1242},
note = {Alternatively see{ \em Communication and Concurrency}, Prentice-Hall, Englewood Cliffs, 1989, of which an earlier version appeared as{ \em A Calculus of Communicating Systems}, LNCS 92, Springer, 1980},
)
@article(Pl04,
author = {G.D. Plotkin},
year = {2004},
title = {A Structural Approach to Operational Semantics},
journal = {Journal of Logic and Algebraic Programming},
volume = {60--61},
pages = {17--139},
doi = {10.1016/j.jlap.2004.05.001},
note = {Originally appeared in 1981},
)
@article(Re00,
author = {A. Rensink},
year = {2000},
title = {Bisimilarity of Open Terms},
journal = {Information and Computation},
volume = {156},
number = {1-2},
pages = {345--385},
doi = {10.1006/inco.1999.2818},
)
@article(dS85,
author = {R. de Simone},
year = {1985},
title = {Higher-level synchronising devices in {{\sc Meije}-SCCS}},
journal = {Theoretical Computer Science},
volume = {37},
pages = {245--267},
doi = {10.1016/0304-3975(85)90093-3},
)