Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rob J. van Glabbeek
@article{DBLP:journals/pacmpl/QinOGHKS24,
author = {Xueying Qin and
Liam O'Connor and
Rob van Glabbeek and
Peter H{\"{o}}fner and
Ohad Kammar and
Michel Steuwer},
title = {Shoggoth: {A} Formal Foundation for Strategic Rewriting},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {61--89},
year = {2024},
url = {https://doi.org/10.1145/3633211},
doi = {10.1145/3633211},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/QinOGHKS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Glabbeek24,
author = {Rob van Glabbeek},
title = {Comparing the Expressiveness of the {\(\pi\)}-calculus and {CCS}},
journal = {{ACM} Trans. Comput. Log.},
volume = {25},
number = {1},
pages = {1:1--1:58},
year = {2024},
url = {https://doi.org/10.1145/3611013},
doi = {10.1145/3611013},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Glabbeek24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Glabbeek23,
author = {Rob van Glabbeek},
title = {Reactive bisimulation semantics for a process algebra with timeouts},
journal = {Acta Informatica},
volume = {60},
number = {1},
pages = {11--57},
year = {2023},
url = {https://doi.org/10.1007/s00236-022-00417-1},
doi = {10.1007/S00236-022-00417-1},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Glabbeek23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GlabbeekGT23,
author = {Rob van Glabbeek and
Vincent Gramoli and
Pierre Tholoniat},
title = {Cross-chain payment protocols with success guarantees},
journal = {Distributed Comput.},
volume = {36},
number = {2},
pages = {137--157},
year = {2023},
url = {https://doi.org/10.1007/s00446-023-00446-0},
doi = {10.1007/S00446-023-00446-0},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dc/GlabbeekGT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Glabbeek23,
author = {Rob van Glabbeek},
title = {Modelling mutual exclusion in a process algebra with time-outs},
journal = {Inf. Comput.},
volume = {294},
pages = {105079},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105079},
doi = {10.1016/J.IC.2023.105079},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Glabbeek23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Glabbeek23,
author = {Rob van Glabbeek},
editor = {Orna Kupferman and
Pawel Sobocinski},
title = {Just Testing},
booktitle = {Foundations of Software Science and Computation Structures - 26th
International Conference, FoSSaCS 2023, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2023,
Paris, France, April 22-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13992},
pages = {498--519},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30829-1\_24},
doi = {10.1007/978-3-031-30829-1\_24},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Glabbeek23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07306,
author = {Rob van Glabbeek and
Jan Friso Groote and
Erik P. de Vink},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {A Cancellation Law for Probabilistic Processes},
booktitle = {Proceedings Combined 30th International Workshop on Expressiveness
in Concurrency and 20th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2023, and 20th Workshop on Structural Operational SemanticsAntwerp,
Belgium, 18th September 2023},
series = {{EPTCS}},
volume = {387},
pages = {42--58},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.5},
doi = {10.4204/EPTCS.387.5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07933,
author = {Rob van Glabbeek and
Peter H{\"{o}}fner and
Weiyou Wang},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {A Lean-Congruence Format for EP-Bisimilarity},
booktitle = {Proceedings Combined 30th International Workshop on Expressiveness
in Concurrency and 20th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2023, and 20th Workshop on Structural Operational SemanticsAntwerp,
Belgium, 18th September 2023},
series = {{EPTCS}},
volume = {387},
pages = {59--75},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.6},
doi = {10.4204/EPTCS.387.6},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07933.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-16350,
author = {Rob van Glabbeek and
Peter H{\"{o}}fner and
Weiyou Wang},
title = {A Lean-Congruence Format for EP-Bisimilarity},
journal = {CoRR},
volume = {abs/2308.16350},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.16350},
doi = {10.48550/ARXIV.2308.16350},
eprinttype = {arXiv},
eprint = {2308.16350},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-16350.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GlabbeekGS22,
author = {Rob van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke{-}Uffmann},
title = {Abstract processes in the absence of conflicts in general place/transition
systems},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104939},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104939},
doi = {10.1016/J.IC.2022.104939},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GlabbeekGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Glabbeek22,
author = {Rob van Glabbeek},
editor = {Nils Jansen and
Mari{\"{e}}lle Stoelinga and
Petra van den Bos},
title = {Fair Must Testing for {I/O} Automata},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning
- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13560},
pages = {559--574},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15629-8\_30},
doi = {10.1007/978-3-031-15629-8\_30},
timestamp = {Sat, 24 Sep 2022 20:46:57 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Glabbeek22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Glabbeek22,
author = {Rob van Glabbeek},
editor = {Ilya Sergey},
title = {Comparing the expressiveness of the {\(\pi\)}-calculus and {CCS}},
booktitle = {Programming Languages and Systems - 31st European Symposium on Programming,
{ESOP} 2022, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13240},
pages = {548--574},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8\_20},
doi = {10.1007/978-3-030-99336-8\_20},
timestamp = {Fri, 29 Apr 2022 14:50:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Glabbeek22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-11519,
author = {Rob van Glabbeek},
title = {Comparing the expressiveness of the {\(\pi\)}-calculus and {CCS}},
journal = {CoRR},
volume = {abs/2203.11519},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.11519},
doi = {10.48550/ARXIV.2203.11519},
eprinttype = {arXiv},
eprint = {2203.11519},
timestamp = {Tue, 29 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-11519.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-04362,
author = {Rob van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke{-}Uffmann},
title = {Abstract Processes in the Absence of Conflicts in General Place/Transition
Systems},
journal = {CoRR},
volume = {abs/2207.04362},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.04362},
doi = {10.48550/ARXIV.2207.04362},
eprinttype = {arXiv},
eprint = {2207.04362},
timestamp = {Wed, 13 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-04362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-08829,
author = {Rob van Glabbeek},
title = {Just Testing},
journal = {CoRR},
volume = {abs/2212.08829},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.08829},
doi = {10.48550/ARXIV.2212.08829},
eprinttype = {arXiv},
eprint = {2212.08829},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-08829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-11248,
author = {Rob van Glabbeek},
title = {Fair Must Testing for {I/O} Automata},
journal = {CoRR},
volume = {abs/2212.11248},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.11248},
doi = {10.48550/ARXIV.2212.11248},
eprinttype = {arXiv},
eprint = {2212.11248},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-11248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GlabbeekGS21,
author = {Rob van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke{-}Uffmann},
title = {Abstract processes and conflicts in place/transition systems},
journal = {Inf. Comput.},
volume = {281},
pages = {104706},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2021.104706},
doi = {10.1016/J.IC.2021.104706},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GlabbeekGS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Glabbeek21,
author = {Rob van Glabbeek},
title = {Failure Trace Semantics for a Process Algebra with Time-outs},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {2},
year = {2021},
url = {https://lmcs.episciences.org/7398},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Glabbeek21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001AGPY21,
author = {Nathalie Bertrand and
Luca de Alfaro and
Rob van Glabbeek and
Catuscia Palamidessi and
Nobuko Yoshida},
editor = {Serge Haddad and
Daniele Varacca},
title = {{CONCUR} Test-Of-Time Award 2021 (Invited Paper)},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {1:1--1:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.1},
doi = {10.4230/LIPICS.CONCUR.2021.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0001AGPY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GlabbeekHW21,
author = {Rob van Glabbeek and
Peter H{\"{o}}fner and
Weiyou Wang},
editor = {Serge Haddad and
Daniele Varacca},
title = {Enabling Preserving Bisimulation Equivalence},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {33:1--33:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.33},
doi = {10.4230/LIPICS.CONCUR.2021.33},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GlabbeekHW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GlabbeekHH21,
author = {Rob van Glabbeek and
Peter H{\"{o}}fner and
Ross Horne},
title = {Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470531},
doi = {10.1109/LICS52264.2021.9470531},
timestamp = {Fri, 09 Jul 2021 14:04:16 +0200},
biburl = {https://dblp.org/rec/conf/lics/GlabbeekHH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-00729,
author = {Rob van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke},
title = {On Causal Semantics of Petri Nets},
journal = {CoRR},
volume = {abs/2103.00729},
year = {2021},
url = {https://arxiv.org/abs/2103.00729},
eprinttype = {arXiv},
eprint = {2103.00729},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-00729.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-01490,
author = {Rob van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke{-}Uffmann},
title = {Abstract Processes and Conflicts in Place/Transition Systems},
journal = {CoRR},
volume = {abs/2103.01490},
year = {2021},
url = {https://arxiv.org/abs/2103.01490},
eprinttype = {arXiv},
eprint = {2103.01490},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-01490.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-13021,
author = {Rob van Glabbeek},
title = {Coinductive Validity},
journal = {CoRR},
volume = {abs/2104.13021},
year = {2021},
url = {https://arxiv.org/abs/2104.13021},
eprinttype = {arXiv},
eprint = {2104.13021},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-13021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14226,
author = {Rob van Glabbeek and
Peter H{\"{o}}fner and
Ross Horne},
title = {Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom},
journal = {CoRR},
volume = {abs/2104.14226},
year = {2021},
url = {https://arxiv.org/abs/2104.14226},
eprinttype = {arXiv},
eprint = {2104.14226},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-12785,
author = {Rob van Glabbeek},
title = {Modelling Mutual Exclusion in a Process Algebra with Time-outs},
journal = {CoRR},
volume = {abs/2106.12785},
year = {2021},
url = {https://arxiv.org/abs/2106.12785},
eprinttype = {arXiv},
eprint = {2106.12785},
timestamp = {Wed, 30 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-12785.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-00142,
author = {Rob van Glabbeek and
Peter H{\"{o}}fner and
Weiyou Wang},
title = {Enabling Preserving Bisimulation Equivalence},
journal = {CoRR},
volume = {abs/2108.00142},
year = {2021},
url = {https://arxiv.org/abs/2108.00142},
eprinttype = {arXiv},
eprint = {2108.00142},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-00142.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GlabbeekLS20,
author = {Rob van Glabbeek and
Bas Luttik and
Linda Spaninks},
title = {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {3},
year = {2020},
url = {https://lmcs.episciences.org/6741},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GlabbeekLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Glabbeek20,
author = {Rob van Glabbeek},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Reactive Bisimulation Semantics for a Process Algebra with Time-Outs},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {6:1--6:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.6},
doi = {10.4230/LIPICS.CONCUR.2020.6},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/concur/Glabbeek20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/GlabbeekGT20,
author = {Rob van Glabbeek and
Vincent Gramoli and
Pierre Tholoniat},
editor = {Christian Scheideler and
Michael Spear},
title = {Feasibility of Cross-Chain Payment with Success Guarantees},
booktitle = {{SPAA} '20: 32nd {ACM} Symposium on Parallelism in Algorithms and
Architectures, Virtual Event, USA, July 15-17, 2020},
pages = {579--581},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3350755.3400264},
doi = {10.1145/3350755.3400264},
timestamp = {Sun, 12 Jul 2020 18:55:23 +0200},
biburl = {https://dblp.org/rec/conf/spaa/GlabbeekGT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-13285,
author = {Ryan Barry and
Rob van Glabbeek and
Peter H{\"{o}}fner},
editor = {Ansgar Fehnker and
Hubert Garavel},
title = {Formalising the Optimised Link State Routing Protocol},
booktitle = {Proceedings of the 4th Workshop on Models for Formal Analysis of Real
Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020},
series = {{EPTCS}},
volume = {316},
pages = {40--71},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.316.3},
doi = {10.4204/EPTCS.316.3},
timestamp = {Mon, 03 Jan 2022 22:03:27 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-13285.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-13357,
author = {Rob van Glabbeek},
editor = {Ornela Dardha and
Jurriaan Rot},
title = {Reactive Temporal Logic},
booktitle = {Proceedings Combined 27th International Workshop on Expressiveness
in Concurrency and 17th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2020, and 17th Workshop on Structural Operational SemanticsOnline,
31 August 2020},
series = {{EPTCS}},
volume = {322},
pages = {51--68},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.322.6},
doi = {10.4204/EPTCS.322.6},
timestamp = {Mon, 21 Sep 2020 12:42:04 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13357.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-10814,
author = {Rob van Glabbeek},
title = {Failure Trace Semantics for a Process Algebra with Time-outs (preliminary
report)},
journal = {CoRR},
volume = {abs/2002.10814},
year = {2020},
url = {https://arxiv.org/abs/2002.10814},
eprinttype = {arXiv},
eprint = {2002.10814},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-10814.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-00746,
author = {Rob J. van Glabbeek and
Cornelis A. Middelburg},
title = {On infinite guarded recursive specifications in process algebra},
journal = {CoRR},
volume = {abs/2005.00746},
year = {2020},
url = {https://arxiv.org/abs/2005.00746},
eprinttype = {arXiv},
eprint = {2005.00746},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-08152,
author = {Rob van Glabbeek and
Vincent Gramoli and
Pierre Tholoniat},
title = {Feasibility of Cross-Chain Payment with Success Guarantees},
journal = {CoRR},
volume = {abs/2007.08152},
year = {2020},
url = {https://arxiv.org/abs/2007.08152},
eprinttype = {arXiv},
eprint = {2007.08152},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-08152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-11499,
author = {Rob van Glabbeek},
title = {Reactive Bisimulation Semantics for a Process Algebra with Time-Outs},
journal = {CoRR},
volume = {abs/2008.11499},
year = {2020},
url = {https://arxiv.org/abs/2008.11499},
eprinttype = {arXiv},
eprint = {2008.11499},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-11499.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/GlabbeekH19,
author = {Rob van Glabbeek and
Peter H{\"{o}}fner},
title = {Progress, Justness, and Fairness},
journal = {{ACM} Comput. Surv.},
volume = {52},
number = {4},
pages = {69:1--69:38},
year = {2019},
url = {https://doi.org/10.1145/3329125},
doi = {10.1145/3329125},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/GlabbeekH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FokkinkGL19,
author = {Wan J. Fokkink and
Rob van Glabbeek and
Bas Luttik},
title = {Divide and congruence {III:} From decomposition of modal formulas
to preservation of stability and divergence},
journal = {Inf. Comput.},
volume = {268},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.104435},
doi = {10.1016/J.IC.2019.104435},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FokkinkGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/Glabbeek19,
author = {Rob van Glabbeek},
title = {Ensuring liveness properties of distributed systems: Open problems},
journal = {J. Log. Algebraic Methods Program.},
volume = {109},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.100480},
doi = {10.1016/J.JLAMP.2019.100480},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/Glabbeek19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FischerG19,
author = {Nick Fischer and
Rob van Glabbeek},
title = {Axiomatising infinitary probabilistic weak bisimilarity of finite-state
behaviours},
journal = {J. Log. Algebraic Methods Program.},
volume = {102},
pages = {64--102},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2018.09.006},
doi = {10.1016/J.JLAMP.2018.09.006},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/FischerG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Glabbeek19,
author = {Rob van Glabbeek},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Reward Testing Equivalences for Processes},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {45--70},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_5},
doi = {10.1007/978-3-030-21485-2\_5},
timestamp = {Thu, 04 Jul 2019 14:12:17 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Glabbeek19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GlabbeekGV19,
author = {Rob J. van Glabbeek and
Jan Friso Groote and
Erik P. de Vink},
editor = {M{\'{a}}rio S. Alvim and
Kostas Chatzikokolakis and
Carlos Olarte and
Frank Valencia},
title = {A Complete Axiomatization of Branching Bisimilarity for a Simple Process
Language with Probabilistic Choice - (Extended Abstract)},
booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic
and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
Palamidessi on the Occasion of Her 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11760},
pages = {139--162},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31175-9\_9},
doi = {10.1007/978-3-030-31175-9\_9},
timestamp = {Sat, 09 Apr 2022 12:46:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GlabbeekGV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GlabbeekGLM19,
author = {Rob van Glabbeek and
Ursula Goltz and
Christopher Lippert and
Stephan Mennicke},
editor = {M{\'{a}}rio S. Alvim and
Kostas Chatzikokolakis and
Carlos Olarte and
Frank Valencia},
title = {Stronger Validity Criteria for Encoding Synchrony},
booktitle = {The Art of Modelling Computational Systems: {A} Journey from Logic
and Concurrency to Security and Privacy - Essays Dedicated to Catuscia
Palamidessi on the Occasion of Her 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11760},
pages = {182--205},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31175-9\_11},
doi = {10.1007/978-3-030-31175-9\_11},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GlabbeekGLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GlabbeekHM19,
author = {Rob van Glabbeek and
Peter H{\"{o}}fner and
Michael Markl},
editor = {Lu{\'{\i}}s Caires},
title = {A Process Algebra for Link Layer Protocols},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {668--693},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_24},
doi = {10.1007/978-3-030-17184-1\_24},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/GlabbeekHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Glabbeek19,
author = {Rob van Glabbeek},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Justness - {A} Completeness Criterion for Capturing Liveness Properties
(Extended Abstract)},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {505--522},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_29},
doi = {10.1007/978-3-030-17127-8\_29},
timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/Glabbeek19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1908-08635,
author = {Rob van Glabbeek},
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {On the Meaning of Transition System Specifications},
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 = {69--85},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300.5},
doi = {10.4204/EPTCS.300.5},
timestamp = {Wed, 02 Dec 2020 13:20:37 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-08635.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2019,
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-121-4},
isbn = {978-3-95977-121-4},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-13329,
author = {Rob van Glabbeek and
Peter H{\"{o}}fner and
Michael Markl},
title = {A Process Algebra for Link Layer Protocols},
journal = {CoRR},
volume = {abs/1907.13329},
year = {2019},
url = {http://arxiv.org/abs/1907.13329},
eprinttype = {arXiv},
eprint = {1907.13329},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-13329.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-13348,
author = {Rob van Glabbeek},
title = {Reward Testing Equivalences for Processes},
journal = {CoRR},
volume = {abs/1907.13348},
year = {2019},
url = {http://arxiv.org/abs/1907.13348},
eprinttype = {arXiv},
eprint = {1907.13348},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-13348.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-06550,
author = {Wan J. Fokkink and
Rob van Glabbeek and
Bas Luttik},
title = {Divide and Congruence {III:} From Decomposition of Modal Formulas
to Preservation of Stability and Divergence},
journal = {CoRR},
volume = {abs/1908.06550},
year = {2019},
url = {http://arxiv.org/abs/1908.06550},
eprinttype = {arXiv},
eprint = {1908.06550},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-06550.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-00286,
author = {Rob van Glabbeek},
title = {Justness: {A} Completeness Criterion for Capturing Liveness Properties},
journal = {CoRR},
volume = {abs/1909.00286},
year = {2019},
url = {http://arxiv.org/abs/1909.00286},
eprinttype = {arXiv},
eprint = {1909.00286},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-00286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-04513,
author = {Rob van Glabbeek and
Vincent Gramoli and
Pierre Tholoniat},
title = {Cross-Chain Payment Protocols with Success Guarantees},
journal = {CoRR},
volume = {abs/1912.04513},
year = {2019},
url = {http://arxiv.org/abs/1912.04513},
eprinttype = {arXiv},
eprint = {1912.04513},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-04513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-05616,
author = {Rob van Glabbeek},
title = {Ensuring Liveness Properties of Distributed Systems: Open Problems},
journal = {CoRR},
volume = {abs/1912.05616},
year = {2019},
url = {http://arxiv.org/abs/1912.05616},
eprinttype = {arXiv},
eprint = {1912.05616},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-05616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Glabbeek18,
author = {Rob J. van Glabbeek},
title = {On the validity of encodings of the synchronous in the asynchronous
\emph{{\(\pi\)}}-calculus},
journal = {Inf. Process. Lett.},
volume = {137},
pages = {17--25},
year = {2018},
url = {https://doi.org/10.1016/j.ipl.2018.04.015},
doi = {10.1016/J.IPL.2018.04.015},
timestamp = {Mon, 23 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Glabbeek18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Glabbeek18,
author = {Rob van Glabbeek},
editor = {Sven Schewe and
Lijun Zhang},
title = {Is Speed-Independent Mutual Exclusion Implementable? (Invited Talk)},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {3:1--3:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.3},
doi = {10.4230/LIPICS.CONCUR.2018.3},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/Glabbeek18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Glabbeek18,
author = {Rob van Glabbeek},
editor = {Christel Baier and
Ugo Dal Lago},
title = {A Theory of Encodings and Expressiveness (Extended Abstract) - (Extended
Abstract)},
booktitle = {Foundations of Software Science and Computation Structures - 21st
International Conference, {FOSSACS} 2018, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
Thessaloniki, Greece, April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10803},
pages = {183--202},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89366-2\_10},
doi = {10.1007/978-3-319-89366-2\_10},
timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/Glabbeek18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GlabbeekHW18,
author = {Rob J. van Glabbeek and
Peter H{\"{o}}fner and
Djurre van der Wal},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Analysing AWN-Specifications Using mCRL2 (Extended Abstract)},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {398--418},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_23},
doi = {10.1007/978-3-319-98938-9\_23},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/GlabbeekHW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1803-08668,
editor = {John P. Gallagher and
Rob van Glabbeek and
Wendelin Serwe},
title = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
and Sixth International Workshop on Verification and Program Transformation,
MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
series = {{EPTCS}},
volume = {268},
year = {2018},
url = {http://arxiv.org/abs/1803.08668},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-08668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-01180,
author = {Rob J. van Glabbeek and
Bas Luttik and
Linda Spaninks},
title = {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence},
journal = {CoRR},
volume = {abs/1801.01180},
year = {2018},
url = {http://arxiv.org/abs/1801.01180},
eprinttype = {arXiv},
eprint = {1801.01180},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-01180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09182,
author = {Rob van Glabbeek},
title = {On the Validity of Encodings of the Synchronous in the Asynchronous
{\(\pi\)}-calculus},
journal = {CoRR},
volume = {abs/1802.09182},
year = {2018},
url = {http://arxiv.org/abs/1802.09182},
eprinttype = {arXiv},
eprint = {1802.09182},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-09182.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-10415,
author = {Rob van Glabbeek},
title = {A Theory of Encodings and Expressiveness},
journal = {CoRR},
volume = {abs/1805.10415},
year = {2018},
url = {http://arxiv.org/abs/1805.10415},
eprinttype = {arXiv},
eprint = {1805.10415},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-10415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-07414,
author = {Rob van Glabbeek and
Peter H{\"{o}}fner},
title = {Progress, Justness and Fairness},
journal = {CoRR},
volume = {abs/1810.07414},
year = {2018},
url = {http://arxiv.org/abs/1810.07414},
eprinttype = {arXiv},
eprint = {1810.07414},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-07414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-07488,
author = {Nick Fischer and
Rob van Glabbeek},
title = {Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State
Behaviours},
journal = {CoRR},
volume = {abs/1810.07488},
year = {2018},
url = {http://arxiv.org/abs/1810.07488},
eprinttype = {arXiv},
eprint = {1810.07488},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-07488.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FokkinkG17,
author = {Wan J. Fokkink and
Rob J. van Glabbeek},
title = {Divide and congruence {II:} From decomposition of modal formulas to
preservation of delay and weak bisimilarity},
journal = {Inf. Comput.},
volume = {257},
pages = {79--113},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.10.003},
doi = {10.1016/J.IC.2017.10.003},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FokkinkG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Glabbeek17,
author = {Rob J. van Glabbeek},
editor = {Thomas Gibson{-}Robinson and
Philippa J. Hopcroft and
Ranko Lazic},
title = {A Branching Time Model of {CSP}},
booktitle = {Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William
Roscoe on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10160},
pages = {272--293},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51046-0\_14},
doi = {10.1007/978-3-319-51046-0\_14},
timestamp = {Thu, 22 Jul 2021 15:35:06 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Glabbeek17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FokkinkGL17,
author = {Wan J. Fokkink and
Rob J. van Glabbeek and
Bas Luttik},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Divide and Congruence {III:} Stability {\&} Divergence},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {15:1--15:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.15},
doi = {10.4230/LIPICS.CONCUR.2017.15},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/FokkinkGL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FokkinkG17,
author = {Wan J. Fokkink and
Rob J. van Glabbeek},
editor = {Valentin Goranko and
Mads Dam},
title = {Precongruence Formats with Lookahead through Modal Decomposition},
booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
August 20-24, 2017, Stockholm, Sweden},
series = {LIPIcs},
volume = {82},
pages = {25:1--25:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CSL.2017.25},
doi = {10.4230/LIPICS.CSL.2017.25},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/FokkinkG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Glabbeek17,
author = {Rob J. van Glabbeek},
title = {Lean and full congruence formats for recursion},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--11},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005142},
doi = {10.1109/LICS.2017.8005142},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Glabbeek17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GlabbeekH17,
author = {Rob J. van Glabbeek and
Peter H{\"{o}}fner},
editor = {Holger Hermanns and
Peter H{\"{o}}fner},
title = {Split, Send, Reassemble: {A} Formal Specification of a {CAN} Bus Protocol
Stack},
booktitle = {Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems,
MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {244},
pages = {14--52},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.244.2},
doi = {10.4204/EPTCS.244.2},
timestamp = {Sat, 30 Sep 2023 10:07:58 +0200},
biburl = {https://dblp.org/rec/journals/corr/GlabbeekH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-00826,
author = {Victor Dyseryn and
Rob J. van Glabbeek and
Peter H{\"{o}}fner},
editor = {Kirstin Peters and
Simone Tini},
title = {Analysing Mutual Exclusion using Process Algebra with Signals},
booktitle = {Proceedings Combined 24th International Workshop on Expressiveness
in Concurrency and 14th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
series = {{EPTCS}},
volume = {255},
pages = {18--34},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.255.2},
doi = {10.4204/EPTCS.255.2},
timestamp = {Tue, 08 Oct 2019 16:56:57 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Glabbeek17,
author = {Rob J. van Glabbeek},
title = {An Algebraic Treatment of Recursion},
journal = {CoRR},
volume = {abs/1702.07838},
year = {2017},
url = {http://arxiv.org/abs/1702.07838},
eprinttype = {arXiv},
eprint = {1702.07838},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Glabbeek17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Glabbeek17a,
author = {Rob J. van Glabbeek},
title = {A Branching Time Model of {CSP}},
journal = {CoRR},
volume = {abs/1702.07844},
year = {2017},
url = {http://arxiv.org/abs/1702.07844},
eprinttype = {arXiv},
eprint = {1702.07844},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Glabbeek17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Glabbeek17b,
author = {Rob J. van Glabbeek},
title = {Lean and Full Congruence Formats for Recursion},
journal = {CoRR},
volume = {abs/1704.03160},
year = {2017},
url = {http://arxiv.org/abs/1704.03160},
eprinttype = {arXiv},
eprint = {1704.03160},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Glabbeek17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-04240,
author = {Rob J. van Glabbeek},
title = {Ensuring Liveness Properties of Distributed Systems {(A} Research
Agenda)},
journal = {CoRR},
volume = {abs/1711.04240},
year = {2017},
url = {http://arxiv.org/abs/1711.04240},
eprinttype = {arXiv},
eprint = {1711.04240},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-04240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GlabbeekHPT16,
author = {Rob J. van Glabbeek and
Peter H{\"{o}}fner and
Marius Portmann and
Wee Lum Tan},
title = {Modelling and verifying the {AODV} routing protocol},
journal = {Distributed Comput.},
volume = {29},
number = {4},
pages = {279--315},
year = {2016},
url = {https://doi.org/10.1007/s00446-015-0262-7},
doi = {10.1007/S00446-015-0262-7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/GlabbeekHPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BourkeGH16,
author = {Timothy Bourke and
Rob J. van Glabbeek and
Peter H{\"{o}}fner},
title = {Mechanizing a Process Algebra for Network Protocols},
journal = {J. Autom. Reason.},
volume = {56},
number = {3},
pages = {309--341},
year = {2016},
url = {https://doi.org/10.1007/s10817-015-9358-9},
doi = {10.1007/S10817-015-9358-9},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BourkeGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BresGH16,
author = {Emile Bres and
Rob J. van Glabbeek and
Peter H{\"{o}}fner},
editor = {Peter Thiemann},
title = {A Timed Process Algebra for Wireless Networks with an Application
in Routing - (Extended Abstract)},
booktitle = {Programming Languages and Systems - 25th European Symposium on Programming,
{ESOP} 2016, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9632},
pages = {95--122},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49498-1\_5},
doi = {10.1007/978-3-662-49498-1\_5},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/esop/BresGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FokkinkG16,
author = {Wan J. Fokkink and
Rob J. van Glabbeek},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Divide and Congruence {II:} Delay and Weak Bisimilarity},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {778--787},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2933590},
doi = {10.1145/2933575.2933590},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FokkinkG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FokkinkG16,
author = {Wan J. Fokkink and
Rob J. van Glabbeek},
title = {Divide and Congruence {II:} From Decomposition of Modal Formulas to
Preservation of Delay and Weak Bisimilarity},
journal = {CoRR},
volume = {abs/1604.07530},
year = {2016},
url = {http://arxiv.org/abs/1604.07530},
eprinttype = {arXiv},
eprint = {1604.07530},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FokkinkG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BresGH16,
author = {Emile Bres and
Rob J. van Glabbeek and
Peter H{\"{o}}fner},
title = {A Timed Process Algebra for Wireless Networks},
journal = {CoRR},
volume = {abs/1606.03663},
year = {2016},
url = {http://arxiv.org/abs/1606.03663},
eprinttype = {arXiv},
eprint = {1606.03663},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BresGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlabbeekH16,
author = {Rob J. van Glabbeek and
Dominic J. D. Hughes},
title = {{MALL} proof nets identify proofs modulo rule commutation},
journal = {CoRR},
volume = {abs/1609.04693},
year = {2016},
url = {http://arxiv.org/abs/1609.04693},
eprinttype = {arXiv},
eprint = {1609.04693},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GlabbeekH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GlabbeekGO15,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Ernst{-}R{\"{u}}diger Olderog},
title = {Special issue on "Combining Compositionality and Concurrency":
part 1},
journal = {Acta Informatica},
volume = {52},
number = {1},
pages = {3--4},
year = {2015},
url = {https://doi.org/10.1007/s00236-014-0213-y},
doi = {10.1007/S00236-014-0213-Y},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GlabbeekGO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GlabbeekH15,
author = {Rob J. van Glabbeek and
Peter H{\"{o}}fner},
title = {{CCS:} It's not fair! - Fair schedulers cannot be implemented in CCS-like
languages even under progress and certain fairness assumptions},
journal = {Acta Informatica},
volume = {52},
number = {2-3},
pages = {175--205},
year = {2015},
url = {https://doi.org/10.1007/s00236-015-0221-6},
doi = {10.1007/S00236-015-0221-6},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GlabbeekH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GlabbeekGO15a,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Ernst{-}R{\"{u}}diger Olderog},
title = {Special issue on "Combining Compositionality and Concurrency":
part 2},
journal = {Acta Informatica},
volume = {52},
number = {4-5},
pages = {303--304},
year = {2015},
url = {https://doi.org/10.1007/s00236-015-0240-3},
doi = {10.1007/S00236-015-0240-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GlabbeekGO15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/PetersG15,
author = {Kirstin Peters and
Rob J. van Glabbeek},
title = {Analysing and Comparing Encodability Criteria for Process Calculi},
journal = {Arch. Formal Proofs},
volume = {2015},
year = {2015},
url = {https://www.isa-afp.org/entries/Encodability\_Process\_Calculi.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/PetersG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenFG15,
author = {Taolue Chen and
Wan J. Fokkink and
Rob J. van Glabbeek},
title = {On the Axiomatizability of Impossible Futures},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:17)2015},
doi = {10.2168/LMCS-11(3:17)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChenFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Glabbeek15,
author = {Rob J. van Glabbeek},
editor = {Roland Meyer and
Andr{\'{e}} Platzer and
Heike Wehrheim},
title = {Structure Preserving Bisimilarity, Supporting an Operational Petri
Net Semantics of {CCSP}},
booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
pages = {99--130},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23506-6\_9},
doi = {10.1007/978-3-319-23506-6\_9},
timestamp = {Mon, 02 Sep 2019 16:45:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Glabbeek15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PetersG15,
author = {Kirstin Peters and
Rob J. van Glabbeek},
editor = {Silvia Crafa and
Daniel Gebler},
title = {Analysing and Comparing Encodability Criteria},
booktitle = {Proceedings of the Combined 22th International Workshop on Expressiveness
in Concurrency and 12th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2015, Madrid, Spain, 31st August 2015},
series = {{EPTCS}},
volume = {190},
pages = {46--60},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.190.4},
doi = {10.4204/EPTCS.190.4},
timestamp = {Wed, 09 Oct 2019 16:19:29 +0200},
biburl = {https://dblp.org/rec/journals/corr/PetersG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/GlabbeekGH15,
editor = {Rob J. van Glabbeek and
Jan Friso Groote and
Peter H{\"{o}}fner},
title = {Proceedings Workshop on Models for Formal Analysis of Real Systems,
{MARS} 2015, Suva, Fiji, November 23, 2015},
series = {{EPTCS}},
volume = {196},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.196},
doi = {10.4204/EPTCS.196},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GlabbeekGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlabbeekH15,
author = {Rob J. van Glabbeek and
Peter H{\"{o}}fner},
title = {Progress, Fairness and Justness in Process Algebra},
journal = {CoRR},
volume = {abs/1501.03268},
year = {2015},
url = {http://arxiv.org/abs/1501.03268},
eprinttype = {arXiv},
eprint = {1501.03268},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GlabbeekH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BourkeGH15,
author = {Timothy Bourke and
Rob J. van Glabbeek and
Peter H{\"{o}}fner},
title = {A mechanized proof of loop freedom of the (untimed) {AODV} routing
protocol},
journal = {CoRR},
volume = {abs/1505.05646},
year = {2015},
url = {http://arxiv.org/abs/1505.05646},
eprinttype = {arXiv},
eprint = {1505.05646},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BourkeGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlabbeekH15a,
author = {Rob J. van Glabbeek and
Peter H{\"{o}}fner},
title = {{CCS:} It's not Fair! Fair Schedulers cannot be implemented in CCS-like
languages even under progress and certain fairness assumptions},
journal = {CoRR},
volume = {abs/1505.05964},
year = {2015},
url = {http://arxiv.org/abs/1505.05964},
eprinttype = {arXiv},
eprint = {1505.05964},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GlabbeekH15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Glabbeek15,
author = {Rob J. van Glabbeek},
title = {Structure Preserving Bisimilarity, Supporting an Operational Petri
Net Semantics of {CCSP}},
journal = {CoRR},
volume = {abs/1509.05842},
year = {2015},
url = {http://arxiv.org/abs/1509.05842},
eprinttype = {arXiv},
eprint = {1509.05842},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Glabbeek15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BourkeGH15a,
author = {Timothy Bourke and
Rob J. van Glabbeek and
Peter H{\"{o}}fner},
title = {Mechanizing a Process Algebra for Network Protocols},
journal = {CoRR},
volume = {abs/1512.07304},
year = {2015},
url = {http://arxiv.org/abs/1512.07304},
eprinttype = {arXiv},
eprint = {1512.07304},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BourkeGH15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FehnkerGHMPT15,
author = {Ansgar Fehnker and
Rob J. van Glabbeek and
Peter H{\"{o}}fner and
Annabelle McIver and
Marius Portmann and
Wee Lum Tan},
title = {Modelling and Analysis of {AODV} in {UPPAAL}},
journal = {CoRR},
volume = {abs/1512.07312},
year = {2015},
url = {http://arxiv.org/abs/1512.07312},
eprinttype = {arXiv},
eprint = {1512.07312},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FehnkerGHMPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FehnkerGHMPT15a,
author = {Ansgar Fehnker and
Rob J. van Glabbeek and
Peter H{\"{o}}fner and
Annabelle McIver and
Marius Portmann and
Wee Lum Tan},
title = {A Process Algebra for Wireless Mesh Networks},
journal = {CoRR},
volume = {abs/1512.07319},
year = {2015},
url = {http://arxiv.org/abs/1512.07319},
eprinttype = {arXiv},
eprint = {1512.07319},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FehnkerGHMPT15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FehnkerGHMPT15b,
author = {Ansgar Fehnker and
Rob J. van Glabbeek and
Peter H{\"{o}}fner and
Annabelle McIver and
Marius Portmann and
Wee Lum Tan},
title = {Automated Analysis of {AODV} using {UPPAAL}},
journal = {CoRR},
volume = {abs/1512.07352},
year = {2015},
url = {http://arxiv.org/abs/1512.07352},
eprinttype = {arXiv},
eprint = {1512.07352},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FehnkerGHMPT15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlabbeekHPT15,
author = {Rob J. van Glabbeek and
Peter H{\"{o}}fner and
Marius Portmann and
Wee Lum Tan},
title = {Modelling and Verifying the {AODV} Routing Protocol},
journal = {CoRR},
volume = {abs/1512.08867},
year = {2015},
url = {http://arxiv.org/abs/1512.08867},
eprinttype = {arXiv},
eprint = {1512.08867},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GlabbeekHPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HofnerGTPMF15,
author = {Peter H{\"{o}}fner and
Rob J. van Glabbeek and
Wee Lum Tan and
Marius Portmann and
Annabelle McIver and
Ansgar Fehnker},
title = {A Rigorous Analysis of {AODV} and its Variants},
journal = {CoRR},
volume = {abs/1512.08873},
year = {2015},
url = {http://arxiv.org/abs/1512.08873},
eprinttype = {arXiv},
eprint = {1512.08873},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HofnerGTPMF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlabbeekHTP15,
author = {Rob J. van Glabbeek and
Peter H{\"{o}}fner and
Wee Lum Tan and
Marius Portmann},
title = {Sequence Numbers Do Not Guarantee Loop Freedom; {AODV} Can Yield Routing
Loops},
journal = {CoRR},
volume = {abs/1512.08891},
year = {2015},
url = {http://arxiv.org/abs/1512.08891},
eprinttype = {arXiv},
eprint = {1512.08891},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GlabbeekHTP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DengGHM14,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan},
title = {Real-reward testing for probabilistic processes},
journal = {Theor. Comput. Sci.},
volume = {538},
pages = {16--36},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.07.016},
doi = {10.1016/J.TCS.2013.07.016},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DengGHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BourkeGH14,
author = {Timothy Bourke and
Rob J. van Glabbeek and
Peter H{\"{o}}fner},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {A Mechanized Proof of Loop Freedom of the (Untimed) {AODV} Routing
Protocol},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {47--63},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_5},
doi = {10.1007/978-3-319-11936-6\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BourkeGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BourkeGH14,
author = {Timothy Bourke and
Rob J. van Glabbeek and
Peter H{\"{o}}fner},
editor = {Gerwin Klein and
Ruben Gamboa},
title = {Showing Invariance Compositionally for a Process Algebra for Network
Protocols},
booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
pages = {144--159},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6\_10},
doi = {10.1007/978-3-319-08970-6\_10},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/BourkeGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BourkeGH14,
author = {Timothy Bourke and
Rob J. van Glabbeek and
Peter H{\"{o}}fner},
title = {Showing invariance compositionally for a process algebra for network
protocols},
journal = {CoRR},
volume = {abs/1407.3519},
year = {2014},
url = {http://arxiv.org/abs/1407.3519},
eprinttype = {arXiv},
eprint = {1407.3519},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BourkeGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlabbeekGS13,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke{-}Uffmann},
title = {On Characterising Distributability},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {3},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(3:17)2013},
doi = {10.2168/LMCS-9(3:17)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GlabbeekGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/GlabbeekHTP13,
author = {Rob J. van Glabbeek and
Peter H{\"{o}}fner and
Wee Lum Tan and
Marius Portmann},
editor = {Bj{\"{o}}rn Landfeldt and
M{\'{o}}nica Aguilar{-}Igartua and
Ravi Prakash and
Cheng Li},
title = {Sequence numbers do not guarantee loop freedom: {AODV} can yield routing
loops},
booktitle = {16th {ACM} International Conference on Modeling, Analysis and Simulation
of Wireless and Mobile Systems, MSWiM '13, Barcelona, Spain, November
3-8, 2013},
pages = {91--100},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2507924.2507943},
doi = {10.1145/2507924.2507943},
timestamp = {Wed, 22 Mar 2023 16:53:34 +0100},
biburl = {https://dblp.org/rec/conf/mswim/GlabbeekHTP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FehnkerGHMPT13,
author = {Ansgar Fehnker and
Rob J. van Glabbeek and
Peter H{\"{o}}fner and
Annabelle McIver and
Marius Portmann and
Wee Lum Tan},
title = {A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying
and Analysing {AODV}},
journal = {CoRR},
volume = {abs/1312.7645},
year = {2013},
url = {http://arxiv.org/abs/1312.7645},
eprinttype = {arXiv},
eprint = {1312.7645},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FehnkerGHMPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FokkinkGW12,
author = {Wan J. Fokkink and
Rob J. van Glabbeek and
Paulien de Wind},
title = {Divide and congruence: From decomposition of modal formulas to preservation
of branching and {\(\eta\)}-bisimilarity},
journal = {Inf. Comput.},
volume = {214},
pages = {59--85},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2011.10.011},
doi = {10.1016/J.IC.2011.10.011},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FokkinkGW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FehnkerGHMPT12,
author = {Ansgar Fehnker and
Rob J. van Glabbeek and
Peter H{\"{o}}fner and
Annabelle McIver and
Marius Portmann and
Wee Lum Tan},
editor = {Helmut Seidl},
title = {A Process Algebra for Wireless Mesh Networks},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {295--315},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_15},
doi = {10.1007/978-3-642-28869-2\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/FehnkerGHMPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GlabbeekGS12,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke{-}Uffmann},
editor = {Lars Birkedal},
title = {On Distributability of Petri Nets - (Extended Abstract)},
booktitle = {Foundations of Software Science and Computational Structures - 15th
International Conference, {FOSSACS} 2012, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2012,
Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7213},
pages = {331--345},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28729-9\_22},
doi = {10.1007/978-3-642-28729-9\_22},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GlabbeekGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/HofnerGTPMF12,
author = {Peter H{\"{o}}fner and
Rob J. van Glabbeek and
Wee Lum Tan and
Marius Portmann and
Annabelle McIver and
Ansgar Fehnker},
editor = {Albert Y. Zomaya and
Bj{\"{o}}rn Landfeldt and
Ravi Prakash},
title = {A rigorous analysis of {AODV} and its variants},
booktitle = {The 15th {ACM} International Conference on Modeling, Analysis and
Simulation of Wireless and Mobile Systems, MSWiM '12, Paphos, Cyprus,
October 21-25, 2012},
pages = {203--212},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2387238.2387274},
doi = {10.1145/2387238.2387274},
timestamp = {Wed, 22 Mar 2023 16:53:34 +0100},
biburl = {https://dblp.org/rec/conf/mswim/HofnerGTPMF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FehnkerGHMPT12,
author = {Ansgar Fehnker and
Rob J. van Glabbeek and
Peter H{\"{o}}fner and
Annabelle McIver and
Marius Portmann and
Wee Lum Tan},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Automated Analysis of {AODV} Using {UPPAAL}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {173--187},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_13},
doi = {10.1007/978-3-642-28756-5\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FehnkerGHMPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2750,
author = {Rob J. van Glabbeek},
editor = {Bas Luttik and
Michel A. Reniers},
title = {Musings on Encodings and Expressiveness},
booktitle = {Proceedings Combined 19th International Workshop on Expressiveness
in Concurrency and 9th Workshop on Structured Operational Semantics,
{EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
series = {{EPTCS}},
volume = {89},
pages = {81--98},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.7},
doi = {10.4204/EPTCS.89.7},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2750.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-3597,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke{-}Uffmann},
title = {On Distributability of Petri Nets},
journal = {CoRR},
volume = {abs/1207.3597},
year = {2012},
url = {http://arxiv.org/abs/1207.3597},
eprinttype = {arXiv},
eprint = {1207.3597},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-3597.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/GlabbeekGS11,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke},
title = {Abstract processes of place/transition systems},
journal = {Inf. Process. Lett.},
volume = {111},
number = {13},
pages = {626--633},
year = {2011},
url = {https://doi.org/10.1016/j.ipl.2011.03.013},
doi = {10.1016/J.IPL.2011.03.013},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/GlabbeekGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Glabbeek11,
author = {Rob J. van Glabbeek},
title = {On cool congruence formats for weak bisimulations},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3283--3302},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.02.036},
doi = {10.1016/J.TCS.2011.02.036},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Glabbeek11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GlabbeekGS11,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke},
editor = {Joost{-}Pieter Katoen and
Barbara K{\"{o}}nig},
title = {On Causal Semantics of Petri Nets},
booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
{CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6901},
pages = {43--59},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23217-6\_4},
doi = {10.1007/978-3-642-23217-6\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GlabbeekGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1107-1201,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan},
editor = {Mieke Massink and
Gethin Norman},
title = {Real-Reward Testing for Probabilistic Processes (Extended Abstract)},
booktitle = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
2011},
series = {{EPTCS}},
volume = {57},
pages = {61--73},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.57.5},
doi = {10.4204/EPTCS.57.5},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/Glabbeek11,
author = {Rob J. van Glabbeek},
editor = {David A. Padua},
title = {Bisimulation},
booktitle = {Encyclopedia of Parallel Computing},
pages = {136--139},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_149},
doi = {10.1007/978-0-387-09766-4\_149},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/Glabbeek11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-5916,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke},
title = {Abstract Processes of Place/Transition Systems},
journal = {CoRR},
volume = {abs/1103.5916},
year = {2011},
url = {http://arxiv.org/abs/1103.5916},
eprinttype = {arXiv},
eprint = {1103.5916},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-5916.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/Glabbeek10,
author = {Rob J. van Glabbeek},
editor = {Cristian S. Calude and
Vladimiro Sassone},
title = {The Coarsest Precongruences Respecting Safety and Liveness Properties},
booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {323},
pages = {32--52},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15240-5\_3},
doi = {10.1007/978-3-642-15240-5\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/Glabbeek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DengG10,
author = {Yuxin Deng and
Rob J. van Glabbeek},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Characterising Probabilistic Processes Logically - (Extended Abstract)},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {278--293},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_20},
doi = {10.1007/978-3-642-16242-8\_20},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DengG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/GlabbeekP10,
author = {Rob J. van Glabbeek and
Gordon D. Plotkin},
editor = {A. W. Roscoe and
Clifford B. Jones and
Kenneth R. Wood},
title = {On {CSP} and the Algebraic Theory of Effects},
booktitle = {Reflections on the Work of C. A. R. Hoare},
pages = {333--369},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-84882-912-1\_15},
doi = {10.1007/978-1-84882-912-1\_15},
timestamp = {Mon, 18 May 2020 10:45:13 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/GlabbeekP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-5188,
author = {Yuxin Deng and
Rob J. van Glabbeek},
title = {Characterising Probabilistic Processes Logically},
journal = {CoRR},
volume = {abs/1007.5188},
year = {2010},
url = {http://arxiv.org/abs/1007.5188},
eprinttype = {arXiv},
eprint = {1007.5188},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-5488,
author = {Rob J. van Glabbeek and
Gordon D. Plotkin},
title = {On {CSP} and the Algebraic Theory of Effects},
journal = {CoRR},
volume = {abs/1007.5488},
year = {2010},
url = {http://arxiv.org/abs/1007.5488},
eprinttype = {arXiv},
eprint = {1007.5488},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5488.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-5491,
author = {Rob J. van Glabbeek},
title = {The Coarsest Precongruences Respecting Safety and Liveness Properties},
journal = {CoRR},
volume = {abs/1007.5491},
year = {2010},
url = {http://arxiv.org/abs/1007.5491},
eprinttype = {arXiv},
eprint = {1007.5491},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-2109,
author = {Rob J. van Glabbeek and
Bas Luttik and
Nikola Trcka},
title = {Computation Tree Logic with Deadlock Detection},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {4},
year = {2009},
url = {http://arxiv.org/abs/0912.2109},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-2109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GlabbeekLT09,
author = {Rob J. van Glabbeek and
Bas Luttik and
Nikola Trcka},
title = {Branching Bisimilarity with Explicit Divergence},
journal = {Fundam. Informaticae},
volume = {93},
number = {4},
pages = {371--392},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-109},
doi = {10.3233/FI-2009-109},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GlabbeekLT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GlabbeekM09,
author = {Rob J. van Glabbeek and
Peter D. Mosses},
title = {Special issue on structural operational semantics},
journal = {Inf. Comput.},
volume = {207},
number = {2},
pages = {83--84},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2008.10.006},
doi = {10.1016/J.IC.2008.10.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GlabbeekM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GlabbeekP09,
author = {Rob J. van Glabbeek and
Gordon D. Plotkin},
title = {Configuration structures, event structures and Petri nets},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {41},
pages = {4111--4159},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.06.014},
doi = {10.1016/J.TCS.2009.06.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GlabbeekP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DengGHM09,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Testing Finitary Probabilistic Processes},
booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {274--288},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8\_19},
doi = {10.1007/978-3-642-04081-8\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DengGHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ChenFG09,
author = {Taolue Chen and
Wan J. Fokkink and
Rob J. van Glabbeek},
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {On Finite Bases for Weak Semantics: Failures Versus Impossible Futures},
booktitle = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
pages = {167--180},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8\_18},
doi = {10.1007/978-3-540-95891-8\_18},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ChenFG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-0043,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke},
title = {Symmetric and Asymmetric Asynchronous Interaction},
journal = {CoRR},
volume = {abs/0901.0043},
year = {2009},
url = {http://arxiv.org/abs/0901.0043},
eprinttype = {arXiv},
eprint = {0901.0043},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-0043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-0048,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke},
title = {On Synchronous and Asynchronous Interaction in Distributed Systems},
journal = {CoRR},
volume = {abs/0901.0048},
year = {2009},
url = {http://arxiv.org/abs/0901.0048},
eprinttype = {arXiv},
eprint = {0901.0048},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-0048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-4023,
author = {Rob J. van Glabbeek and
Gordon D. Plotkin},
title = {Configuration Structures, Event Structures and Petri Nets},
journal = {CoRR},
volume = {abs/0912.4023},
year = {2009},
url = {http://arxiv.org/abs/0912.4023},
eprinttype = {arXiv},
eprint = {0912.4023},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-4023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChenFG08,
author = {Taolue Chen and
Wan J. Fokkink and
Rob J. van Glabbeek},
title = {Ready to preorder: The case of weak process semantics},
journal = {Inf. Process. Lett.},
volume = {109},
number = {2},
pages = {104--111},
year = {2008},
url = {https://doi.org/10.1016/j.ipl.2008.09.003},
doi = {10.1016/J.IPL.2008.09.003},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ChenFG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DengGHM08,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan},
title = {Characterising Testing Preorders for Finite Probabilistic Processes},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {4},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(4:4)2008},
doi = {10.2168/LMCS-4(4:4)2008},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DengGHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GlabbeekP08,
author = {Rob J. van Glabbeek and
Bas Ploeger},
editor = {Aarti Gupta and
Sharad Malik},
title = {Correcting a Space-Efficient Simulation Algorithm},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {517--529},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_49},
doi = {10.1007/978-3-540-70545-1\_49},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/GlabbeekP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GlabbeekGS08,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke},
editor = {Edward Ochmanski and
Jerzy Tyszkiewicz},
title = {On Synchronous and Asynchronous Interaction in Distributed Systems},
booktitle = {Mathematical Foundations of Computer Science 2008, 33rd International
Symposium, {MFCS} 2008, Torun, Poland, August 25-29, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5162},
pages = {16--35},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85238-4\_2},
doi = {10.1007/978-3-540-85238-4\_2},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GlabbeekGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/GlabbeekP08,
author = {Rob J. van Glabbeek and
Bas Ploeger},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Five Determinisation Algorithms},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {161--170},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_17},
doi = {10.1007/978-3-540-70844-5\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/GlabbeekP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GlabbeekGS09,
author = {Rob J. van Glabbeek and
Ursula Goltz and
Jens{-}Wolfhard Schicke},
editor = {Filippo Bonchi and
Davide Grohmann and
Paola Spoletini and
Angelo Troina and
Emilio Tuosto},
title = {Symmetric and Asymmetric Asynchronous Interaction},
booktitle = {Proceedings of the First Interaction and Concurrency Experiences Workshop,
ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {3},
pages = {77--95},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.040},
doi = {10.1016/J.ENTCS.2009.06.040},
timestamp = {Fri, 24 Feb 2023 11:41:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GlabbeekGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-3708,
author = {Yuxin Deng and
Matthew Hennessy and
Rob J. van Glabbeek and
Carroll Morgan},
title = {Characterising Testing Preorders for Finite Probabilistic Processes},
journal = {CoRR},
volume = {abs/0810.3708},
year = {2008},
url = {http://arxiv.org/abs/0810.3708},
eprinttype = {arXiv},
eprint = {0810.3708},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0810-3708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-4904,
author = {Taolue Chen and
Wan J. Fokkink and
Rob J. van Glabbeek},
title = {On Finite Bases for Weak Semantics: Failures versus Impossible Futures},
journal = {CoRR},
volume = {abs/0810.4904},
year = {2008},
url = {http://arxiv.org/abs/0810.4904},
eprinttype = {arXiv},
eprint = {0810.4904},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0810-4904.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-3068,
author = {Rob J. van Glabbeek and
Bas Luttik and
Nikola Trcka},
title = {Branching Bisimilarity with Explicit Divergence},
journal = {CoRR},
volume = {abs/0812.3068},
year = {2008},
url = {http://arxiv.org/abs/0812.3068},
eprinttype = {arXiv},
eprint = {0812.3068},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0812-3068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DengGMZ07,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Carroll Morgan and
Chenyi Zhang},
editor = {Rocco De Nicola},
title = {Scalar Outcomes Suffice for Finitary Probabilistic Testing},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {363--378},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_25},
doi = {10.1007/978-3-540-71316-6\_25},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/DengGMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DengGHMZ07,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan and
Chenyi Zhang},
title = {Characterising Testing Preorders for Finite Probabilistic Processes},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {313--325},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.15},
doi = {10.1109/LICS.2007.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DengGHMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GlabbeekH07,
author = {Rob J. van Glabbeek and
Matthew Hennessy},
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {Preface},
booktitle = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
pages = {1--3},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.001},
doi = {10.1016/J.ENTCS.2007.10.001},
timestamp = {Thu, 09 Feb 2023 10:45:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GlabbeekH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DengGHMZ07,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan and
Chenyi Zhang},
editor = {Luca Cardelli and
Marcelo Fiore and
Glynn Winskel},
title = {Remarks on Testing Probabilistic Processes},
booktitle = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
series = {Electronic Notes in Theoretical Computer Science},
volume = {172},
pages = {359--397},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.013},
doi = {10.1016/J.ENTCS.2007.02.013},
timestamp = {Tue, 24 Jan 2023 11:36:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DengGHMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sos/2006,
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/175/issue/1},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sos/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sos/2007,
editor = {Rob van Glabbeek and
Matthew Hennessy},
title = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {1},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/192/issue/1},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sos/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FokkinkGW06,
author = {Wan J. Fokkink and
Rob J. van Glabbeek and
Paulien de Wind},
title = {Compositionality of Hennessy-Milner logic by structural operational
semantics},
journal = {Theor. Comput. Sci.},
volume = {354},
number = {3},
pages = {421--440},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.11.035},
doi = {10.1016/J.TCS.2005.11.035},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FokkinkGW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Glabbeek06,
author = {Rob J. van Glabbeek},
title = {On the expressiveness of higher dimensional automata},
journal = {Theor. Comput. Sci.},
volume = {356},
number = {3},
pages = {265--290},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.02.012},
doi = {10.1016/J.TCS.2006.02.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Glabbeek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Glabbeek06a,
author = {Rob J. van Glabbeek},
title = {Erratum to "On the expressiveness of higher dimensional automata":
{[TCS} 356 {(2006)} 265-290]},
journal = {Theor. Comput. Sci.},
volume = {368},
number = {1-2},
pages = {168--194},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.06.024},
doi = {10.1016/J.TCS.2006.06.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Glabbeek06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GlabbeekV06,
author = {Rob J. van Glabbeek and
Marc Voorhoeve},
editor = {Christel Baier and
Holger Hermanns},
title = {Liveness, Fairness and Impossible Futures},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {126--141},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_9},
doi = {10.1007/11817949\_9},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/GlabbeekV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GlabbeekM07,
author = {Rob J. van Glabbeek and
Peter D. Mosses},
editor = {Rob van Glabbeek and
Peter D. Mosses},
title = {Preface},
booktitle = {Proceedings of the Third Workshop on Structural Operational Semantics,
{SOS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.016},
doi = {10.1016/J.ENTCS.2006.11.016},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GlabbeekM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HughesG05,
author = {Dominic J. D. Hughes and
Rob J. van Glabbeek},
title = {Proof nets for unit-free multiplicative-additive linear logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {6},
number = {4},
pages = {784--842},
year = {2005},
url = {https://doi.org/10.1145/1094622.1094629},
doi = {10.1145/1094622.1094629},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/HughesG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Glabbeek05,
author = {Rob J. van Glabbeek},
editor = {Aart Middeldorp and
Vincent van Oostrom and
Femke van Raamsdonk and
Roel C. de Vrijer},
title = {A Characterisation of Weak Bisimulation Congruence},
booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays
Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3838},
pages = {26--39},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601548\_4},
doi = {10.1007/11601548\_4},
timestamp = {Mon, 16 Sep 2019 15:30:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Glabbeek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Glabbeek05,
author = {Rob J. van Glabbeek},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {The Individual and Collective Token Interpretations of Petri Nets},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {323--337},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_26},
doi = {10.1007/11539452\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Glabbeek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/FokkinkGW05,
author = {Wan J. Fokkink and
Rob J. van Glabbeek and
Paulien de Wind},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Divide and Congruence: From Decomposition of Modalities to Preservation
of Branching Bisimulation},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {195--218},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_10},
doi = {10.1007/11804192\_10},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/FokkinkGW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Glabbeek05,
author = {Rob J. van Glabbeek},
editor = {Dang Van Hung and
Martin Wirsing},
title = {On Cool Congruence Formats for Weak Bisimulations},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {318--333},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_21},
doi = {10.1007/11560647\_21},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Glabbeek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FokkinkGW06,
author = {Wan J. Fokkink and
Rob J. van Glabbeek and
Paulien de Wind},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {Divide and Congruence Applied to \emph{eta}-Bisimulation},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {97--113},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.029},
doi = {10.1016/J.ENTCS.2005.10.029},
timestamp = {Thu, 15 Dec 2022 16:08:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FokkinkGW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Glabbeek06,
author = {Rob J. van Glabbeek},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {On Specifying Timeouts},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {173--175},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.083},
doi = {10.1016/J.ENTCS.2005.12.083},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Glabbeek06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoFGI04,
author = {Luca Aceto and
Wan J. Fokkink and
Rob J. van Glabbeek and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Nested semantics over finite trees are equationally hard},
journal = {Inf. Comput.},
volume = {191},
number = {2},
pages = {203--232},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2004.02.001},
doi = {10.1016/J.IC.2004.02.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoFGI04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Glabbeek04,
author = {Rob J. van Glabbeek},
title = {The meaning of negative premises in transition system specifications
{II}},
journal = {J. Log. Algebraic Methods Program.},
volume = {60-61},
pages = {229--258},
year = {2004},
url = {https://doi.org/10.1016/j.jlap.2004.03.007},
doi = {10.1016/J.JLAP.2004.03.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Glabbeek04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GlabbeekG04,
author = {Rob J. van Glabbeek and
Ursula Goltz},
title = {Well-behaved flow event structures for parallel composition and action
refinement},
journal = {Theor. Comput. Sci.},
volume = {311},
number = {1-3},
pages = {463--478},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.10.031},
doi = {10.1016/J.TCS.2003.10.031},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GlabbeekG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BloomFG04,
author = {Bard Bloom and
Wan J. Fokkink and
Rob J. van Glabbeek},
title = {Precongruence formats for decorated trace semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {1},
pages = {26--78},
year = {2004},
url = {https://doi.org/10.1145/963927.963929},
doi = {10.1145/963927.963929},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BloomFG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GlabbeekP04,
author = {Rob J. van Glabbeek and
Gordon D. Plotkin},
editor = {Jir{\'{\i}} Fiala and
V{\'{a}}clav Koubek and
Jan Kratochv{\'{\i}}l},
title = {Event Structures for Resolvable Conflict},
booktitle = {Mathematical Foundations of Computer Science 2004, 29th International
Symposium, {MFCS} 2004, Prague, Czech Republic, August 22-27, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3153},
pages = {550--561},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28629-5\_42},
doi = {10.1007/978-3-540-28629-5\_42},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GlabbeekP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Glabbeek05,
author = {Rob J. van Glabbeek},
editor = {Jos C. M. Baeten and
Flavio Corradini},
title = {On the Expressiveness of Higher Dimensional Automata: (Extended Abstract)},
booktitle = {Proceedings of the 11th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {128},
number = {2},
pages = {5--34},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.11.026},
doi = {10.1016/J.ENTCS.2004.11.026},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Glabbeek05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GlabbeekS03,
author = {Rob J. van Glabbeek and
David G. Stork},
editor = {Wil M. P. van der Aalst and
Arthur H. M. ter Hofstede and
Mathias Weske},
title = {Query Nets: Interacting Workflow Modules That Ensure Global Termination},
booktitle = {Business Process Management, International Conference, {BPM} 2003,
Eindhoven, The Netherlands, June 26-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2678},
pages = {184--199},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44895-0\_13},
doi = {10.1007/3-540-44895-0\_13},
timestamp = {Sat, 19 Oct 2019 20:23:19 +0200},
biburl = {https://dblp.org/rec/conf/bpm/GlabbeekS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GlabbeekV03,
author = {Rob J. van Glabbeek and
Frits W. Vaandrager},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {Bundle Event Structures and {CCSP}},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {57--71},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_4},
doi = {10.1007/978-3-540-45187-7\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GlabbeekV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/FokkinkGW03,
author = {Wan J. Fokkink and
Rob J. van Glabbeek and
Paulien de Wind},
editor = {Andrzej Lingas and
Bengt J. Nilsson},
title = {Compositionality of Hennessy-Milner Logic through Structural Operational
Semantics},
booktitle = {Fundamentals of Computation Theory, 14th International Symposium,
{FCT} 2003, Malm{\"{o}}, Sweden, August 12-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2751},
pages = {412--422},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45077-1\_38},
doi = {10.1007/978-3-540-45077-1\_38},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/FokkinkGW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HughesG03,
author = {Dominic J. D. Hughes and
Rob J. van Glabbeek},
title = {Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended
abstract)},
booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003),
22-25 June 2003, Ottawa, Canada, Proceedings},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/LICS.2003.1210039},
doi = {10.1109/LICS.2003.1210039},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HughesG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/StorkG02,
author = {David G. Stork and
Rob J. van Glabbeek},
editor = {Javier Esparza and
Charles Lakos},
title = {Token-Controlled Place Refinement in Hierarchical Petri Nets with
Application to Active Document Workflow},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference,
{ICATPN} 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2360},
pages = {394--413},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48068-4\_23},
doi = {10.1007/3-540-48068-4\_23},
timestamp = {Fri, 09 Apr 2021 18:41:09 +0200},
biburl = {https://dblp.org/rec/conf/apn/StorkG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0204039,
author = {Bard Bloom and
Wan J. Fokkink and
Rob J. van Glabbeek},
title = {Precongruence Formats for Decorated Trace Semantics},
journal = {CoRR},
volume = {cs.LO/0204039},
year = {2002},
url = {https://arxiv.org/abs/cs/0204039},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0204039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GlabbeekG01,
author = {Rob J. van Glabbeek and
Ursula Goltz},
title = {Refinement of actions and equivalence notions for concurrent systems},
journal = {Acta Informatica},
volume = {37},
number = {4/5},
pages = {229--327},
year = {2001},
url = {https://doi.org/10.1007/s002360000041},
doi = {10.1007/S002360000041},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GlabbeekG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/Glabbeek01,
author = {Rob J. van Glabbeek},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {The Linear Time - Branching Time Spectrum {I}},
booktitle = {Handbook of Process Algebra},
pages = {3--99},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50019-9},
doi = {10.1016/B978-044482830-9/50019-9},
timestamp = {Fri, 28 Jun 2019 09:45:11 +0200},
biburl = {https://dblp.org/rec/books/el/01/Glabbeek01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/phaunRS01/Glabbeek01,
author = {Rob J. van Glabbeek},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {What is Branching Time Semantics and Why to Use it?},
booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th
Century},
pages = {469--479},
publisher = {World Scientific},
year = {2001},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/phaunRS01/Glabbeek01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PalamidessiPG00,
author = {Catuscia Palamidessi and
Joachim Parrow and
Rob J. van Glabbeek},
title = {Preface},
journal = {Inf. Comput.},
volume = {156},
number = {1-2},
pages = {1},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2815},
doi = {10.1006/INCO.1999.2815},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/PalamidessiPG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BloomFG00,
author = {Bard Bloom and
Wan J. Fokkink and
Rob J. van Glabbeek},
title = {Precongruence Formats for Decorated Trace Preorders},
booktitle = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
California, USA, June 26-29, 2000},
pages = {107--118},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/LICS.2000.855760},
doi = {10.1109/LICS.2000.855760},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BloomFG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Glabbeek99,
author = {Rob J. van Glabbeek},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Petri Nets, Configuration Structures and Higher Dimensional Automata},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {21--27},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_3},
doi = {10.1007/3-540-48320-9\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Glabbeek99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/GlabbeekR98,
author = {Rob J. van Glabbeek and
Peter Rittgen},
editor = {Armando Martin Haeberer},
title = {Scheduling Algebra},
booktitle = {Algebraic Methodology and Software Technology, 7th International Conference,
{AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1548},
pages = {278--292},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49253-4\_21},
doi = {10.1007/3-540-49253-4\_21},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/GlabbeekR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9810008,
author = {Rob J. van Glabbeek},
title = {Axiomatizing Flat Iteration},
journal = {CoRR},
volume = {cs.LO/9810008},
year = {1998},
url = {https://arxiv.org/abs/cs/9810008},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-9810008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GlabbeekV97,
author = {Rob J. van Glabbeek and
Frits W. Vaandrager},
title = {The Difference between Splitting in n and n+1},
journal = {Inf. Comput.},
volume = {136},
number = {2},
pages = {109--142},
year = {1997},
url = {https://doi.org/10.1006/inco.1997.2634},
doi = {10.1006/INCO.1997.2634},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GlabbeekV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Glabbeek97,
author = {Rob J. van Glabbeek},
title = {Notes on the Methodology of {CCS} and {CSP}},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {329--349},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00251-4},
doi = {10.1016/S0304-3975(96)00251-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Glabbeek97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Glabbeek97,
author = {Rob J. van Glabbeek},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {Axiomatizing Flat Iteration},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {228--242},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_16},
doi = {10.1007/3-540-63141-0\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Glabbeek97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FokkinkG96,
author = {Wan J. Fokkink and
Rob J. van Glabbeek},
title = {Ntyft/Ntyxt Rules Reduce to Ntree Rules},
journal = {Inf. Comput.},
volume = {126},
number = {1},
pages = {1--10},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0030},
doi = {10.1006/INCO.1996.0030},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FokkinkG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AcetoGFI96,
author = {Luca Aceto and
Rob J. van Glabbeek and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Axiomatizing Prefix Iteration with Silent Steps},
journal = {Inf. Comput.},
volume = {127},
number = {1},
pages = {26--40},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0047},
doi = {10.1006/INCO.1996.0047},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoGFI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GlabbeekW96,
author = {Rob J. van Glabbeek and
W. P. Weijland},
title = {Branching Time and Abstraction in Bisimulation Semantics},
journal = {J. {ACM}},
volume = {43},
number = {3},
pages = {555--600},
year = {1996},
url = {https://doi.org/10.1145/233551.233556},
doi = {10.1145/233551.233556},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/GlabbeekW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Glabbeek96,
author = {Rob J. van Glabbeek},
editor = {Friedhelm Meyer auf der Heide and
Burkhard Monien},
title = {The Meaning of Negative Premises in Transition System Specifications
{II}},
booktitle = {Automata, Languages and Programming, 23rd International Colloquium,
ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1099},
pages = {502--513},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61440-0\_154},
doi = {10.1007/3-540-61440-0\_154},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Glabbeek96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GlabbeekSS95,
author = {Rob J. van Glabbeek and
Scott A. Smolka and
Bernhard Steffen},
title = {Reactive, Generative and Stratified Models of Probabilistic Processes},
journal = {Inf. Comput.},
volume = {121},
number = {1},
pages = {59--80},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1123},
doi = {10.1006/INCO.1995.1123},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GlabbeekSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GlabbeekP95,
author = {Rob J. van Glabbeek and
Gordon D. Plotkin},
title = {Configuration Structures},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {199--209},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523257},
doi = {10.1109/LICS.1995.523257},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GlabbeekP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Glabbeek94,
author = {Rob J. van Glabbeek},
title = {What is Branching time semantics and why to use it?},
journal = {Bull. {EATCS}},
volume = {53},
pages = {191--198},
year = {1994},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Glabbeek94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/BusiGG94,
author = {Nadia Busi and
Rob J. van Glabbeek and
Roberto Gorrieri},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {Axiomatising ST-Bisimulation Equivalence},
booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
1994},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {169--188},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
biburl = {https://dblp.org/rec/conf/procomet/BusiGG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GlabbeekV93,
author = {Rob J. van Glabbeek and
Frits W. Vaandrager},
title = {Modular Specification of Process Algebras},
journal = {Theor. Comput. Sci.},
volume = {113},
number = {2},
pages = {293--348},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90006-F},
doi = {10.1016/0304-3975(93)90006-F},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GlabbeekV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Glabbeek93,
author = {Rob J. van Glabbeek},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Full Abstraction in Structural Operational Semantics (Extended Abstract)},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '93), Proceedings
of the Third International Conference on Methodology and Software
Technology, University of Twente, Enschede, The Netherlands, 21-25
June, 1993},
series = {Workshops in Computing},
pages = {75--82},
publisher = {Springer},
year = {1993},
timestamp = {Tue, 18 Feb 2003 11:00:12 +0100},
biburl = {https://dblp.org/rec/conf/amast/Glabbeek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Glabbeek93,
author = {Rob J. van Glabbeek},
editor = {Eike Best},
title = {The Linear Time - Branching Time Spectrum {II}},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {66--81},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_6},
doi = {10.1007/3-540-57208-2\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Glabbeek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Glabbeek93,
author = {Rob J. van Glabbeek},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {A Complete Axiomatization for Branching Bisimulation Congruence of
Finite-State Behaviours},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {473--484},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_39},
doi = {10.1007/3-540-57182-5\_39},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Glabbeek93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/apn/CzajaGG92,
author = {Ingo Czaja and
Rob J. van Glabbeek and
Ursula Goltz},
editor = {Grzegorz Rozenberg},
title = {Interleaving semantics and action refinement with atomic choice},
booktitle = {Advances in Petri Nets 1992, The {DEMON} Project},
series = {Lecture Notes in Computer Science},
volume = {609},
pages = {89--107},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55610-9\_169},
doi = {10.1007/3-540-55610-9\_169},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/CzajaGG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Glabbeek90,
author = {Rob J. van Glabbeek},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {The Linear Time-Branching Time Spectrum (Extended Abstract)},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {278--297},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039066},
doi = {10.1007/BFB0039066},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Glabbeek90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Glabbeek90,
author = {Rob J. van Glabbeek},
editor = {Manfred Broy and
Cliff B. Jones},
title = {The Refinement Theorem for ST-bisimulation Semantics},
booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
Sea of Galilee, Israel, 2-5 April, 1990},
pages = {27--52},
publisher = {North-Holland},
year = {1990},
timestamp = {Sat, 26 Dec 2020 18:17:05 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/Glabbeek90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GlabbeekSST90,
author = {Rob J. van Glabbeek and
Scott A. Smolka and
Bernhard Steffen and
Chris M. N. Tofts},
title = {Reactive, Generative, and Stratified Models of Probabilistic Processes},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {130--141},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113740},
doi = {10.1109/LICS.1990.113740},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GlabbeekSST90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/GlabbeeckG90,
author = {Rob J. van Glabbeek and
Ursula Goltz},
editor = {Ir{\`{e}}ne Guessarian},
title = {Equivalences and Refinement},
booktitle = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
on Theoretical Computer Science, La Roche Posay, France, April 23-27,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {469},
pages = {309--333},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53479-2\_13},
doi = {10.1007/3-540-53479-2\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/litp/GlabbeeckG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9024,
author = {Rob van Glabbeek and
Ursula Goltz},
title = {Equivalences and refinement},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9024},
pages = {1--25},
year = {1990},
url = {https://d-nb.info/920791816},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9044,
author = {Rob van Glabbeek and
Ursula Goltz},
title = {A deadlock-sensitive congruence for action refinement},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9044},
pages = {1--31},
year = {1990},
url = {https://d-nb.info/920791891},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9051,
author = {Rob van Glabbeek and
Frits W. Vaandrager},
title = {Modular specification of process algebras},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9051},
pages = {1--67},
year = {1990},
url = {https://d-nb.info/920875491},
timestamp = {Mon, 11 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9052,
author = {Rob van Glabbeek and
Peter Weijland},
title = {Branching time and abstraction in bisimulation semantics},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9052},
pages = {1--52},
year = {1990},
url = {https://d-nb.info/930155661},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/GlabbeekG89,
author = {Rob J. van Glabbeek and
Ursula Goltz},
title = {Parial order semantics for refinement of actions - neither necessary
nor always sufficient but appropriate when used with care},
journal = {Bull. {EATCS}},
volume = {38},
pages = {154--163},
year = {1989},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/GlabbeekG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GlabbeekW89,
author = {Rob J. van Glabbeek and
W. P. Weijland},
editor = {Gerhard X. Ritter},
title = {Branching Time and Abstraction in Bisimulation Semantics (Extended
Abstract)},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {613--618},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/GlabbeekW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GlabbeekG89,
author = {Rob J. van Glabbeek and
Ursula Goltz},
editor = {Antoni Kreczmar and
Grazyna Mirkowska},
title = {Equivalence Notions for Concurrent Systems and Refinement of Actions
(Extended Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik,
Poland, August 28 - September 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {379},
pages = {237--248},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51486-4\_71},
doi = {10.1007/3-540-51486-4\_71},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GlabbeekG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/GlabbeekG89,
author = {Rob J. van Glabbeek and
Ursula Goltz},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Refinement of Actions in Causality Based Models},
booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness,
{REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {430},
pages = {267--300},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52559-9\_68},
doi = {10.1007/3-540-52559-9\_68},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/GlabbeekG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/am/GlabbeekV87,
author = {Rob J. van Glabbeek and
Frits W. Vaandrager},
editor = {Martin Wirsing and
Jan A. Bergstra},
title = {Modular Specifications in Process Algebra with Curious Queues},
booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
in Passau, Germany, June 9-11, 1987]},
series = {Lecture Notes in Computer Science},
volume = {394},
pages = {465--506},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0015049},
doi = {10.1007/BFB0015049},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/am/GlabbeekV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BaetenG87,
author = {Jos C. M. Baeten and
Rob J. van Glabbeek},
editor = {Kesav V. Nori},
title = {Merge and Termination in Process Algebra},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Seventh Conference, Pune, India, December 17-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {287},
pages = {153--172},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18625-5\_49},
doi = {10.1007/3-540-18625-5\_49},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BaetenG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BaetenG87,
author = {Jos C. M. Baeten and
Rob J. van Glabbeek},
editor = {Thomas Ottmann},
title = {Another Look at Abstraction in Process Algebra (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 14th International Colloquium,
ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {267},
pages = {84--94},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18088-5\_8},
doi = {10.1007/3-540-18088-5\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BaetenG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/GlabbeekV87,
author = {Rob J. van Glabbeek and
Frits W. Vaandrager},
editor = {J. W. de Bakker and
A. J. Nijman and
Philip C. Treleaven},
title = {Petri Net Models for Algebraic Theories of Concurrency},
booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel
Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {259},
pages = {224--242},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17945-3\_13},
doi = {10.1007/3-540-17945-3\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/GlabbeekV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Glabbeek87,
author = {Rob J. van Glabbeek},
editor = {Franz{-}Josef Brandenburg and
Guy Vidal{-}Naquet and
Martin Wirsing},
title = {Bounded Nondeterminism and the Approximation Induction Principle in
Process Algebra},
booktitle = {{STACS} 87, 4th Annual Symposium on Theoretical Aspects of Computer
Science, Passau, Germany, February 19-21, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {247},
pages = {336--347},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0039617},
doi = {10.1007/BFB0039617},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Glabbeek87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-01 23:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
