@String{lncs = "\rm LNCS"}
@String{springer = "Springer"}
@TechReport{vG85,
author = "Glabbeek, R.J. van",
title = "Good Coverings",
institution = "Mathematical Institute, University of Leiden",
year = "1985",
type = "Report",
number = "nr. 3",
address = "The Netherlands",
month = jan,
URL = "http://kilby.stanford.edu/~rvg/pub/good.pdf",
}
@Misc{vG99a,
author = "Glabbeek, R.J. van",
title = {The third millennium starts on January 1 of the year 2001},
howpublished = {Position paper},
year = 1999,
url = "http://kilby.stanford.edu/~rvg/millennium.html",
}
@Misc{vG99b,
author = "Glabbeek, R.J. van",
title = {Do we count from 0 or from 1? The ordinal use of cardinal expressions},
howpublished = {Position paper},
year = 1999,
url = "http://kilby.stanford.edu/~rvg/ordinal.html",
}
@Misc{vG01b,
author = "Glabbeek, R.J. van",
title = {Decidability, \rm an introduction to decidability theory without invoking Church' thesis},
howpublished = {Class handout},
year = 2001,
url = "http://kilby.stanford.edu/~rvg/154/handouts/decidability.html",
}
@Misc{vG01c,
author = "Glabbeek, R.J. van",
title = {The undefinability of definability},
howpublished = {Class handout},
year = 2001,
url = "http://kilby.stanford.edu/~rvg/154/handouts/definability.html",
}
1.
@Article{vG97,
author = "Glabbeek, R.J. van",
title = "Notes on the methodology of {CCS} and {CSP}",
year = "1997",
month = may,
journal = "Theoretical Computer Science",
volume = "177",
number = "2",
pages = "329--349",
note = "Originally appeared as Report CS-R8624, CWI,
Amsterdam, 1986",
doi = "10.1016/S0304-3975(96)00251-4",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#1",
optURL = "http://www.cse.unsw.edu.au/~rvg/pub/methodology.pdf",
}
2.
@TechReport{vG86,
author = "Glabbeek, R.J. van",
year = "1986",
month = sep,
institution = "CWI",
type = "Report",
number = "CS-R8634",
address = "Amsterdam",
title = "Bounded nondeterminism and the approximation induction
principle in process algebra",
note = "Extended abstract in F.J. Brandenburg, G. Vidal-Naquet
\& M. Wirsing, editors: Proceedings {\sl STACS 87},
4$^{\it th}$ Annual Symposium on Theoretical Aspects of
Computer Science, Passau, Germany, February 1987, LNCS
247, Springer, 1987, pp. 336--347, doi:
\urlalt{http://dx.doi.org/10.1007/BFb0039617}{10.1007/BFb0039617}",
}
@InProceedings{vG87,
author = "Glabbeek, R.J. van",
booktitle = "{\rm Proceedings} STACS 87, {\rm 4$^{\it th}$ Annual
Symposium on} Theoretical Aspects of Computer Science,
{\rm Passau, Germany, February 1987}",
year = "1987",
editor = "F.J. Brandenburg and G. Vidal-Naquet and M. Wirsing",
series = lncs,
volume = "247",
publisher = springer,
pages = "336--347",
title = "Bounded nondeterminism and the approximation induction
principle in process algebra (extended abstract)",
doi = "10.1007/BFb0039617",
}
3.
@TechReport{BG87,
author = "J.C.M. Baeten and Glabbeek, R.J. van",
institution = "CWI",
type = "Report",
number = "CS-R8701",
address = "Amsterdam",
year = "1987",
note = "Extended abstract in Th. Ottmann, editor: Proceedings
14$^{\it th}$ International Colloquium on {\sl
Automata, Languages and Programming}, ICALP '87,
Karlsruhe, Germany, July 1987, LNCS 267, Springer,
1987, pp. 84--94, doi:
\urlalt{http://dx.doi.org/10.1007/3-540-18088-5\_8}{10.1007/3-540-18088-5\_8}",
title = "Another look at abstraction in process algebra",
URL = "http://www.cse.unsw.edu.au/~rvg/pub/another.pdf",
}
@InProceedings{BG87-ea,
author = "J.C.M. Baeten and Glabbeek, R.J. van",
booktitle = "{\rm Proceedings 14$^{\it th}$ International
Colloquium on} Automata, Languages and Programming,
{\rm ICALP '87, Karlsruhe, Germany, July 1987}",
editor = "Th. Ottmann",
series = lncs,
volume = "267",
year = "1987",
month = jul,
publisher = springer,
pages = "84--94",
title = "Another look at abstraction in process algebra
(extended abstract)",
doi = "10.1007/3-540-18088-5\_8",
URL = "http://www.cse.unsw.edu.au/~rvg/pub/another-ea.pdf",
}
4.
@InProceedings{BG87a,
author = "J.C.M. Baeten and Glabbeek, R.J. van",
booktitle = "{\rm Proceedings $7^{th}$ Conference on} Foundations
of Software Technology and Theoretical Computer
Science, {\rm Pune, India, December 1987}",
year = "1987",
editor = "K.V. Nori",
series = lncs,
volume = "287",
publisher = springer,
pages = "153--172",
title = "Merge and termination in process algebra",
doi = "10.1007/3-540-18625-5\_49",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#4",
}
5.
@Article{BG89,
author = "J.C.M. Baeten and Glabbeek, R.J. van",
year = "1989",
journal = "Fundamenta Informaticae",
pages = "221--242",
title = "Abstraction and empty process in process algebra",
volume = "XII",
URL = "http://www.cse.unsw.edu.au/~rvg/pub/etaepsilon.pdf",
}
6.
@InProceedings{GV87,
author = "Glabbeek, R.J. van and F.W. Vaandrager",
booktitle = "{\rm Proceedings} PARLE, Parallel Architectures and
Languages Europe, {\rm Eindhoven, The Netherlands, June
1987, Vol. II: Parallel Languages}",
year = "1987",
editor = "Bakker, J.W. de and A.J. Nijman and P.C. Treleaven",
series = lncs,
volume = "259",
publisher = springer,
pages = "224--242",
title = "Petri net models for algebraic theories of concurrency
(extended abstract)",
doi = "10.1007/3-540-17945-3\_13",
URL = "http://kilby.stanford.edu/~rvg/pub/petri.pdf",
}
i.
@Misc{vG88,
author = "Glabbeek, R.J. van",
title = "De semantiek van eindige, sequenti{\"e}le processen
met interne acties",
year = "1988",
howpublished = "Syllabus processemantieken, deel 2",
note = "Handwritten manuscript, in Dutch",
}
7.
@TechReport{GV88,
author = "Glabbeek, R.J. van and F.W. Vaandrager",
title = "Modular specifications in process algebra---with
curious queues",
institution = "CWI",
type = "Report",
number = "CS-R8821",
address = "Amsterdam",
year = "1988",
note = "Extended abstract in M. Wirsing \& J.A. Bergstra,
editors: {\sl Algebraic Methods: Theory, Tools and
Applications}, LNCS 394, Springer, 1989, pp. 465--506,
doi: \urlalt{http://dx.doi.org/10.1007/BFb0015049}
{10.1007/BFb0015049}",
}
@InProceedings{GV89,
author = "Glabbeek, R.J. van and F.W. Vaandrager",
booktitle = "Algebraic Methods: Theory, Tools and Applications",
year = "1989",
editor = "M. Wirsing and J.A. Bergstra",
series = lncs,
volume = "394",
publisher = springer,
pages = "465--506",
title = "Modular specifications in process algebra---with
curious queues (extended abstract)",
doi = "10.1007/BFb0015049",
}
8.
@TechReport{OGG88,
author = "E.-R. Olderog and U. Goltz and Glabbeek, R.J. van",
institution = "Gesellschaft f{\"{u}}r Mathematik und
Datenverarbeitung",
type = "Arbeitspapiere der GMD",
number = "320",
address = "Sankt Augustin",
year = "1988",
title = "Combining Compositionality and Concurrency, \rm
{Summary of a GMD-Workshop, K\"{o}nigswinter, March
1988}",
}
8a.
@InProceedings{vG88a,
author = "Glabbeek, R.J. van",
title = "An operational non-interleaved process graph semantics
of {CCSP} \rm (abstract)",
editor = "E.-R. Olderog and U. Goltz and R.J. van Glabbeek",
year = "1988",
booktitle = "Combining Compositionality and Concurrency, {\rm
Summary of a GMD-Workshop, K\"onigswinter, March
1988}",
series = "Arbeitspapiere der GMD 320",
publisher = "Gesellschaft f{\"{u}}r Mathematik und
Datenverarbeitung",
address = "Sankt Augustin",
pages = "18--19",
}
9.
@TechReport{RG88,
author = "P.H. Rodenburg and Glabbeek, R.J. van",
year = "1988",
institution = "CWI",
type = "Report",
number = "CS-R8838",
address = "Amsterdam",
title = "An interpolation theorem in equational logic",
}
10.
@TechReport{GG89,
author = "Glabbeek, R.J. van and U. Goltz",
institution = "Gesellschaft f{\"{u}}r Mathematik und
Datenverarbeitung",
type = "Arbeitspapiere der GMD",
number = "366",
address = "Sankt Augustin",
year = "1989",
note = "Extended abstract in A. Kreczmar \& G. Mirkowska:
Proceedings $14^{th}$ Symposium on {\sl Mathematical
Foundations of Computer Science}, MFCS '89,
Por\c{a}bka-Kozubnik, Poland, August/September 1989,
LNCS 379, Springer, pp. 237--248, doi:
\urlalt{http://dx.doi.org/10.1007/3-540-51486-4\_71}
{10.1007/3-540-51486-4\_71}",
title = "Equivalence notions for concurrent systems and
refinement of actions",
}
@InProceedings{GG89b,
author = "Glabbeek, R.J. van and U. Goltz",
year = "1989",
booktitle = "{\rm Proceedings $14^{th}$ Symposium on} Mathematical
Foundations of Computer Science, {\rm MFCS '89,
Por\c{a}bka-Kozubnik, Poland, August/September 1989}",
editor = "A. Kreczmar and G. Mirkowska",
series = lncs,
volume = "379",
publisher = springer,
pages = "237--248",
title = "Equivalence notions for concurrent systems and
refinement of actions (extended abstract)",
doi = "10.1007/3-540-51486-4\_71",
}
11.
@InProceedings{GW89,
author = "Glabbeek, R.J. van and W.P. Weijland",
booktitle = "Information Processing 89, {\rm Proceedings of the
IFIP 11th World Computer Congress, San Francisco
1989}",
year = "1989",
editor = "G.X. Ritter",
publisher = "North-Holland",
pages = "613--618",
note = "Full version in {\sl Jounal of the ACM} 43(3), 1996,
pp. 555--600",
title = "Branching Time and Abstraction in Bisimulation
Semantics (extended abstract)",
}
12.
@TechReport{GW89a,
author = "Glabbeek, R.J. van and W.P. Weijland",
year = "1989",
institution = "CWI",
type = "Report",
number = "CS-R8922",
address = "Amsterdam",
note = "Also appeared in: Proceedings AMAST Conference, May
1989, Iowa, USA, pp. 197--201",
title = "Refinement in Branching Time Semantics",
}
13.
@InCollection{GR89,
author = "Glabbeek, R.J. van and Rutten, J.J.M.M.",
booktitle = "J.W. de Bakker, 25 jaar semantiek, liber amicorum",
year = "1989",
publisher = "CWI",
address = "Amsterdam",
pages = "243--246",
title = "The processes of {De Bakker and Zucker} represent
bisimulation equivalence classes",
}
14.
@Article{GG89a,
author = "Glabbeek, R.J. van and U. Goltz",
year = "1989",
month = jun,
journal = "Bulletin of the European Association for Theoretical
Computer Science",
pages = "154--163",
title = "Partial order semantics for refinement of
actions---neither necessary nor always sufficient but
appropriate when used with care",
volume = "38",
}
15.
@InProceedings{vG90,
author = "Glabbeek, R.J. van",
year = "1990",
editor = "M. Broy and C.B. Jones",
booktitle = "{\rm Proceedings IFIP TC2 Working Conference on}
Programming Concepts and Methods, {\rm Sea of Gallilee,
Israel, April 1990}",
publisher = "North-Holland",
pages = "27--52",
title = "The refinement theorem for {ST}-bisimulation
semantics",
URL = "http://kilby.stanford.edu/~rvg/pub/STbisimulation.pdf",
}
16.
@InProceedings{GG90,
author = "Glabbeek, R.J. van and U. Goltz",
booktitle = "{\rm Proceedings REX Workshop on} Stepwise Refinement
of Distributed Systems: Models, Formalism, Correctness,
{\rm Mook, The Netherlands, May/June 1989}",
year = "1990",
editor = "Bakker, J.W. de and Roever, W.P. de and G. Rozenberg",
series = lncs,
volume = "430",
publisher = springer,
pages = "267--300",
title = "Refinement of actions in causality based models",
doi = "10.1007/3-540-52559-9\_68",
}
17.
@PhdThesis{vG90b,
author = "Glabbeek, R.J. van",
address = "Amsterdam",
year = "1990",
school = "Free University",
title = "Comparative Concurrency Semantics and Refinement of
Actions",
note = "Introduction available at
\url{http://theory.stanford.edu/~rvg/thesis.html}.
Second edition available as {\sl CWI tract} 109, CWI,
Amsterdam 1996",
}
@Book{vG96,
author = "Glabbeek, R.J. van",
title = "Comparative Concurrency Semantics and Refinement of
Actions",
publisher = "CWI",
year = "1996",
volume = "109",
series = "CWI Tract",
address = "Amsterdam",
note = "Second edition of dissertation. Introduction available at
\url{http://theory.stanford.edu/~rvg/thesis.html}",
}
18.
@InProceedings{GSST90,
author = "Glabbeek, R.J. van and S.A. Smolka and B. Steffen and
C.M.N. Tofts",
booktitle = "{\rm Proceedings $5^{th}$ Annual IEEE Symposium on}
Logic in Computer Science, {\rm LICS'90, Philadelphia,
USA, June 1990}",
year = "1990",
publisher = "IEEE Computer Society Press",
pages = "130--141",
title = "Reactive, generative, and stratified models of
probabilistic processes",
doi = "10.1109/LICS.1990.113740",
}
19.
@TechReport{vG90a,
author = "Glabbeek, R.J. van",
title = "The Linear Time -- Branching Time Spectrum",
institution = "CWI",
type = "Report",
number = "CS-R9029",
address = "Amsterdam",
year = "1990",
note = "Extended abstract in J.C.M. Baeten \& J.W. Klop,
editors: Proceedings {\sl CONCUR '90, Theories of
Concurrency: Unification and Extension}, Amsterdam,
August 1990, LNCS 458, Springer, 1990, pp. 278--297,
doi: \urlalt{http://dx.doi.org/10.1007/BFb0039066}{10.1007/BFb0039066}",
}
@InProceedings{vG90c,
author = "Glabbeek, R.J. van",
booktitle = "{\rm Proceedings} CONCUR '90, Theories of Concurrency:
Unification and Extension, {\rm Amsterdam, August
1990}",
year = "1990",
editor = "J.C.M. Baeten and J.W. Klop",
series = lncs,
volume = "458",
publisher = springer,
pages = "278--297",
title = "The Linear Time -- Branching Time Spectrum (extended
abstract)",
doi = "10.1007/BFb0039066",
}
20.
@InProceedings{GG90a,
author = "Glabbeek, R.J. van and U. Goltz",
title = "Equivalences and Refinement",
booktitle = "{\rm Proceedings} Semantics of Systems of Concurrent
Processes, {\rm LITP Spring School on Theoretical
Computer Science, La Roche Posay, France, April 1990}",
editor = "I. Guessarian",
volume = "469",
series = lncs,
year = "1990",
publisher = springer,
month = apr,
pages = "309--333",
doi = "10.1007/3-540-53479-2\_13",
}
21.
@TechReport{GG90b,
author = "Glabbeek, R.J. van and U. Goltz",
year = "1990",
month = nov,
institution = "Institut f{\"{u}}r Informatik, Technische
Universit{\"{a}}t M{\"{u}}nchen",
type = "SFB-Bericht",
number = "Nr.\ 342/23/90 A",
note = "Abstract in {E. Best \& G. Rozenberg, editors}:
Proceedings {\sl $3^{\it rd}$ Workshop on Concurrency
and Compositionality}, Goslar, Germany, March 1991,
{GMD}-Studien Nr.\ 191, {Gesellschaft f\"{u}r
Mathematik und Datenverarbeitung}, {Sankt Augustin}
1991, pp. {113--116}",
title = "A Deadlock-sensitive Congruence for Action
Refinement",
}
@InProceedings{GG91,
author = "Glabbeek, R.J. van and U. Goltz",
title = "A Deadlock-sensitive Congruence for Action Refinement
{\rm (abstract)}",
booktitle = "{\rm Proceedings} $3^{rd}$ Workshop on Concurrency and
Compositionality, {\rm Goslar, Germany, March 1991}",
series = "GMD-Studien Nr.\ 191",
year = "1991",
editor = "E. Best and G. Rozenberg",
pages = "113--116",
publisher = "Gesellschaft f{\"{u}}r Mathematik und
Datenverarbeitung",
address = "Sankt Augustin",
}
22.
@Article{GV93,
author = "Glabbeek, R.J. van and F.W. Vaandrager",
year = "1993",
journal = "Theoretical Computer Science",
volume = "113",
number = "2",
pages = "293--348",
title = "Modular Specification of Process Algebras",
doi = "10.1016/0304-3975(93)90006-F",
}
23.
@TechReport{GW90,
author = "Glabbeek, R.J. van and W.P. Weijland",
title = "Branching Time and Abstraction in Bisimulation
Semantics",
institution = "Institut f{\"{u}}r Informatik, Technische
Universit{\"{a}}t M{\"{u}}nchen",
number = "TUM-I9052, SFB-Bericht Nr.\ 342/29/90 A",
address = "Germany",
year = "1990",
note = "Original version of \cite{GW96}. Extended abstract in
G.X. Ritter, editor: {\sl Information Processing 89},
Proceedings of the IFIP 11th World Computer Congress,
San Francisco, USA 1989, Elsevier Science Publishers
B.V. (North-Holland), 1989, pp. 613--618",
}
@Article{GW96,
author = "Glabbeek, R.J. van and W.P. Weijland",
title = "Branching Time and Abstraction in Bisimulation
Semantics",
journal = "Journal of the ACM",
year = "1996",
volume = "43",
number = "3",
pages = "555--600",
doi = "10.1145/233551.233556",
note = "Available in part at
\url{http://Theory.Stanford.EDU/~rvg/abstraction/}",
}
ii.
@Misc{vG91,
author = "Glabbeek, R.J. van",
title = "Bisimulations for higher dimensional automata",
howpublished = "Email message, July 7, 1991",
year = "1991",
URL = "http://theory.stanford.edu/~rvg/hda",
annote = "This is the `technical report' quoted a.o. by Goubault
and Jensen",
}
24.
@InCollection{CGG92,
author = "I. Czaja and Glabbeek, R.J. van and U. Goltz",
title = "Interleaving semantics and action refinement with
atomic choice",
booktitle = "Advances in Petri Nets 1992",
publisher = springer,
year = "1992",
editor = "G. Rozenberg",
volume = "609",
series = lncs,
pages = "89--107",
doi = "10.1007/3-540-55610-9\_169",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#24",
}
25.
@InProceedings{vG93a,
author = "Glabbeek, R.J. van",
title = "A complete axiomatization for branching bisimulation
congruence of finite-state behaviours",
booktitle = "{\rm Proceedings 18$^{\it th}$ International Symposium
on} Mathematical Foundations of Computer Science, {\rm
MFCS '93, Gdansk, Poland, August/September 1993}",
editor = "A.M. Borzyszkowski and S. Soko\l owski",
pages = "473--484",
series = lncs,
volume = "711",
publisher = springer,
year = "1993",
doi = "10.1007/3-540-57182-5\_39",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#25",
}
26.
@InProceedings{vG93,
author = "Glabbeek, R.J. van",
title = "The Linear Time -- Branching Time Spectrum {II}; The
semantics of sequential systems with silent moves
(extended abstract)",
booktitle = "{\rm Proceedings} CONCUR'93, {\rm 4$^{\it th}$
International Conference on} Concurrency Theory,
{\rm Hildesheim, Germany, August 1993}",
year = "1993",
editor = "E. Best",
series = lncs,
volume = "715",
publisher = springer,
pages = "66--81",
doi = "10.1007/3-540-57208-2\_6",
}
@Misc{vG93b,
author = "Glabbeek, R.J. van",
title = "The linear time -- branching time spectrum {II}; the
semantics of sequential systems with silent moves
(preliminary version)",
year = "1993",
howpublished = "Manuscript",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#26",
note = "Extended abstract in E. Best, editor: Proceedings
{\sl CONCUR'93}, 4$^{\it th}$ International Conference on
{\sl Concurrency Theory}, Hildesheim, Germany, August 1993,
LNCS 715, Springer, pp. 66--81, doi:
\urlalt{http://dx.doi.org/10.1007/3-540-57208-2\_6}{10.1007/3-540-57208-2\_6}",
}
27.
@InCollection{vG94,
author = "Glabbeek, R.J. van",
title = "What is branching time semantics and why to use it?",
booktitle = "The Concurrency Column",
editor = "M. Nielsen",
publisher = "{\sl Bulletin of the EATCS} 53",
year = "1994",
pages = "190--198",
URL = "http://Theory.stanford.edu/~rvg/branching",
note = "Also in G.
Paun, G. Rozenberg \& A. Salomaa, editors: {\sl Current
Trends in Theoretical Computer Science; Entering the
21st Century}, World Scientific, 2001, pp. 469-479",
}
@InCollection{vG01a,
author = "Glabbeek, R.J. van",
title = "What is branching time semantics and why to use it?",
booktitle = "Current Trends in Theoretical Computer Science;
Entering the 21st Century",
editor = "G. Paun and G. Rozenberg and A. Salomaa",
publisher = "World Scientific",
year = "2001",
pages = "469-479",
URL = "http://Theory.stanford.edu/~rvg/branching",
note = "Also in
M.~Nielsen, editor: {\sl The Concurrency Column},
{\sl Bulletin of the EATCS} 53, 1994, pp. 190--198",
}
28.
@InProceedings{vG93d,
author = "Glabbeek, R.J. van",
title = "Full Abstraction in Structural Operational Semantics
(extended abstract)",
booktitle = "{\rm Proceedings of the $3^{rd}$ International
Conference on} Algebraic Methodology and Software
Technology, {\rm AMAST'93, Twente, The Netherlands,
June l993}",
year = "1993",
editor = "M. Nivat and C. Rattray and T. Rus and G. Scollo",
series = "Workshops in Computing",
publisher = springer,
pages = "75--82",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#28",
}
29.
@InProceedings{BGG94,
author = "N. Busi and Glabbeek, R.J. van and R. Gorrieri",
title = "Axiomatising {ST}-bisimulation equivalence",
booktitle = "{\rm Proceedings IFIP TC2 Working Conference on}
Programming Concepts, Methods and Calculi, {\rm San
Miniato, Italy, June 1994}",
editor = "E.-R. Olderog",
series = "IFIP Transactions A-56",
year = "1994",
publisher = "North-Holland",
pages = "169--188",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#29",
}
30.
@Article{GSS95,
author = "Glabbeek, R.J. van and S.A. Smolka and B. Steffen",
title = "Reactive, generative, and stratified models of
probabilistic processes",
journal = "Information and Computation",
year = "1995",
volume = "121",
number = "1",
pages = "59--80",
doi = "10.1006/inco.1995.1123",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#30",
}
31.
@InProceedings{vG94a,
author = "Glabbeek, R.J. van",
title = "On the expressiveness of {ACP} (extended abstract)",
booktitle = "{\rm Proceedings First Workshop on the} Algebra of
Communicating Processes, {\rm ACP'94, Utrecht, The
Netherlands, May 1994}",
editor = "A. Ponse and C. Verhoef and S.F.M. van Vlijmen",
series = "Workshops in Computing",
year = "1994",
publisher = springer,
pages = "188--217",
doi = "10.1007/978-1-4471-2120-6\_8",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#31",
}
32.
@TechReport{vG95,
author = "Glabbeek, R.J. van",
title = "The Meaning of Negative Premises in Transition System
Specifications {II}",
institution = "Stanford University",
number = "STAN-CS-TN-95-16",
year = "1995",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#32",
note = "Extended abstract in F. Meyer auf der Heide \& B.
Monien, editors: Proceedings 23$^{\it th}$
International Colloquium on {\sl Automata, Languages
and Programming}, ICALP '96, Paderborn, Germany, July
1996, LNCS 1099, Springer, pp. 502--513, doi:
\urlalt{http://dx.doi.org/10.1007/3-540-61440-0\_154}
{10.1007/3-540-61440-0\_154}",
}
@InProceedings{vG96b,
author = "Glabbeek, R.J. van",
booktitle = "{\rm Proceedings 23$^{\it th}$ International
Colloquium on} Automata, Languages and Programming,
{\rm ICALP '96, Paderborn, Germany, July 1996}",
editor = "F. {Meyer auf der Heide} and B. Monien",
series = lncs,
volume = "1099",
year = "1996",
month = jul,
publisher = springer,
pages = "502--513",
title = "The Meaning of Negative Premises in Transition System
Specifications {II} (extended abstract)",
doi = "10.1007/3-540-61440-0\_154",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#32",
}
33.
@Article{FG96,
author = "W.J. Fokkink and Glabbeek, R.J. van",
title = "Ntyft/ntyxt rules reduce to ntree rules",
journal = "Information and Computation",
year = "1996",
volume = "126",
number = "1",
pages = "1--10",
doi = "10.1006/inco.1996.0030",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#33",
}
34.
@InProceedings{GP95,
author = "Glabbeek, R.J. van and Plotkin, G.D.",
title = "Configuration Structures (extended abstract)",
booktitle = "{\rm Proceedings $10^{th}$ Annual IEEE Symposium on}
Logic in Computer Science, {\rm LICS'95, San Diego,
USA, June 1995}",
editor = "D. Kozen",
month = jun,
pages = "199--209",
publisher = "IEEE Computer Society Press",
year = "1995",
doi = "10.1109/LICS.1995.523257",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#34",
}
35.
@InProceedings{GV91,
author = "Glabbeek, R.J. van and F.W. Vaandrager",
title = "The Difference Between Splitting in $n$ and $n\mathord+1$ {\rm
(abstract)}",
booktitle = "{\rm Proceedings} $3^{rd}$ Workshop on Concurrency and
Compositionality, {\rm Goslar, Germany, March 1991}",
series = "GMD-Studien Nr.\ 191",
year = "1991",
editor = "E. Best and G. Rozenberg",
pages = "117--121",
publisher = "Gesellschaft f{\"{u}}r Mathematik und
Datenverarbeitung",
address = "Sankt Augustin",
}
@Article{GV97,
author = "Glabbeek, R.J. van and F.W. Vaandrager",
title = "The Difference Between Splitting in $n$ and $n\mathord+1$",
year = "1997",
note = "Abstract in {E. Best \& G. Rozenberg, editors}:
Proceedings {\sl $3^{\it rd}$ Workshop on Concurrency
and Compositionality}, Goslar, Germany, March 1991,
{GMD}-Studien Nr.\ 191, {Gesellschaft f\"{u}r
Mathematik und Datenverarbeitung}, {Sankt Augustin}
1991, pp. {117--121}",
journal = "Information and Computation",
volume = "136",
number = "2",
pages = "109--142",
doi = "10.1006/inco.1997.2634",
URL = "http://boole.stanford.edu/pub/split.pdf",
}
iii.
@Misc{vG96h,
author = {Glabbeek, R.J. van},
title = {History preserving process graphs},
year = 1996,
howpublished = {Draft},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#hppg",
}
36.
@Misc{vG95a,
author = "Glabbeek, R.J. van",
title = "Branching Bisimulation as a Tool in the Analysis of
Weak Bisimulation",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#36",
year = "1995",
}
37.
@Article{AFGI96,
author = "L. Aceto and W.J. Fokkink and Glabbeek, R.J. van and
A. Ing{\'o}lfsd{\'o}ttir",
title = "Axiomatizing Prefix Iteration with Silent Steps",
journal = "Information and Computation",
year = "1996",
volume = "127",
number = "1",
pages = "26--40",
doi = "10.1006/inco.1996.0047",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#37",
}
iv.
@InProceedings{vG96a,
author = "Glabbeek, R.J. van",
title = "Petri Nets, Configuration Structures, Propositional
Theories and History Preserving Process Graphs \rm
(abstract)",
booktitle = "Semantics of Concurrent Systems---Foundations and
Applications",
editor = "M. Droste and E.-R. Olderog and B. Steffen and G.
Winskel",
volume = "144",
series = "Dagstuhl-Seminar-Report",
year = "1996",
publisher = "Internationales Begegnungs- und Forschungszentrum
f{\"u}r Informatik Schloss Dagstuhl",
address = "Postfach 15 11 50, D-66041 Saarbr{\"u}cken, Germany",
pages = "14--15",
URL = "http://theory.stanford.edu/~rvg/nets-structures-graphs",
}
38.
@InProceedings{vG97a,
author = "Glabbeek, R.J. van",
title = "Axiomatizing Flat Iteration",
booktitle = "{\rm Proceedings} CONCUR '97, {\rm 8$^{\it th}$
International Conference on} Concurrency Theory, {\rm
Warsaw, Poland, July 1997}",
editor = "A. Mazurkiewicz and J. Winkowski",
series = lncs,
volume = "1243",
year = "1997",
publisher = springer,
month = may,
pages = "228--242",
doi = "10.1007/3-540-63141-0\_16",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#38",
}
vi.
@InProceedings{vG98,
author = "Glabbeek, R.J. van",
title = "On the Relative Expressiveness of {P}etri Nets, Event
Structures and Process Algebras \rm (abstract)",
booktitle = "Information Systems as Reactive Systems",
editor = "H.-D. Ehrich and U. Goltz and J. Meseguer",
volume = "200",
series = "Dagstuhl-Seminar-Report",
year = "1998",
publisher = "Internationales Begegnungs- und Forschungszentrum
f{\"u}r Informatik Schloss Dagstuhl",
address = "Postfach 15 11 50, D-66041 Saarbr{\"u}cken, Germany",
pages = "12",
URL = "http://theory.stanford.edu/~rvg/nets-process-alg",
altURL = "http://www.dagstuhl.de/98071",
}
39.
@Book{AGW98,
title = "Computing Natural Language",
series = "CSLI Lecture Notes",
volume = "81",
publisher = "Center for the Study of Language and Information,
Stanford University",
year = "1998",
editor = "A. Aliseda and Glabbeek, R.J. van and D.
Westerst{\aa}hl",
}
40.
@TechReport{GR98a,
author = "Glabbeek, R.J. van and P. Rittgen",
title = "Scheduling Algebra",
institution = "Universit{\"a}t Koblenz-Landau",
year = "1998",
type = "Arbeitsberichte des Instituts f{\"u}r
Wirtschaftsinformatik",
number = "12",
address = "Germany",
month = mar,
URL = "http://theory.stanford.edu/~rvg/abstracts.html#40",
note = "Slightly
revised version in A.M. Haeberer, editor: Proceedings
of the Seventh International Conference on {\sl
Algebraic Methodology and Software Technology},
AMAST'98, Amazonia, Brazil, January 1999, LNCS 1548,
Springer, 1999, pp. 278--292, doi:
\urlalt{http://dx.doi.org/10.1007/3-540-49253-4\_21}
{10.1007/3-540-49253-4\_21}",
}
@TechReport{GR98b,
author = "Glabbeek, R.J. van and P. Rittgen",
title = "Scheduling Algebra",
institution = "Stanford University",
number = "STAN-CS-TN-98-87",
year = "1998",
month = dec,
URL = "http://theory.stanford.edu/~rvg/abstracts.html#40",
note = "Slightly condensed version in A.M. Haeberer, editor:
Proceedings of the Seventh International Conference on
{\sl Algebraic Methodology and Software Technology},
AMAST'98, Amazonia, Brazil, January 1999, LNCS 1548,
Springer, 1999, pp. 278--292, doi:
\urlalt{http://dx.doi.org/10.1007/3-540-49253-4\_21}
{10.1007/3-540-49253-4\_21}",
}
@InProceedings{GR99,
author = "Glabbeek, R.J. van and P. Rittgen",
title = "Scheduling Algebra",
booktitle = "{\rm Proceedings of the $7^{th}$ International
Conference on} Algebraic Methodology and Software
Technology, {\rm AMAST'98, Amazonia, Brazil, January
1999}",
year = "1999",
month = jan,
editor = "A.M. Haeberer",
series = lncs,
volume = "1548",
publisher = springer,
pages = "278--292",
doi = "10.1007/3-540-49253-4\_21",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#40",
}
41.
@Article{GG01,
author = "Glabbeek, R.J. van and U. Goltz",
title = "Refinement of Actions and Equivalence Notions for
Concurrent Systems",
year = "2001",
journal = "Acta Informatica",
volume = "37",
pages = "229--327",
doi = "10.1007/s002360000041",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#41",
}
42.
@InProceedings{vG99,
author = "Glabbeek, R.J. van",
title = "Petri Nets, Configuration Structures and Higher
Dimensional Automata",
booktitle = "{\rm Proceedings} CONCUR '99, {\rm 10$^{\it th}$
International Conference on} Concurrency Theory, {\rm
Eindhoven, The Netherlands, August 1999}",
year = "1999",
editor = "J.C.M. Baeten and S. Mauw",
volume = "1664",
series = lncs,
publisher = springer,
pages = "21--27",
doi = "10.1007/3-540-48320-9\_3",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#42",
}
vii.
@Article{PPG00,
author = {C. Palamidessi and J. Parrow and Glabbeek, R.J. van},
title = {{Preface \rm to the special issue of Information and
Computation dedicated to EXPRESS'97}},
journal = {Information and Computation},
year = {2000},
volume = {156},
pages = {1},
doi = {10.1006/inco.1999.2815},
}
43.
@InCollection{vG01,
author = "Glabbeek, R.J. van",
title = "The Linear Time -- Branching Time Spectrum {I}; The
Semantics of Concrete, Sequential Processes",
booktitle = "Handbook of Process Algebra",
publisher = "Elsevier",
year = "2001",
editor = "J.A. Bergstra and A. Ponse and S.A. Smolka",
chapter = "1",
pages = "3--99",
doi = "10.1016/B978-044482830-9/50019-9",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#43",
}
44.
@InProceedings{BFG00,
author = "B. Bloom and W.J. Fokkink and Glabbeek, R.J. van",
title = "Precongruence Formats for Decorated Trace Preorders",
booktitle = "{\rm Proceedings $15^{th}$ Annual IEEE Symposium on}
Logic in Computer Science, {\rm LICS 2000, Santa
Barbara, USA, June 2000}",
publisher = "IEEE Computer Society Press",
year = "2000",
pages = "107--118",
doi = "10.1109/LICS.2000.855760",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#44",
}
45.
@inCollection{vG00,
author = "Glabbeek, R.J. van",
title = "Bisimulation",
booktitle = "Encyclopedia of Parallel Computing",
publisher = "Springer",
editor = "D. Padua",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#45",
year = "2011",
doi = "10.1007/978-0-387-09766-4\_149",
pages = "136-139"
}
46.
@Article{GG04,
author = "Glabbeek, R.J. van and U. Goltz",
title = "Well-behaved Flow Event Structures for Parallel
Composition and Action Refinement",
year = "2004",
month = jan,
journal = "Theoretical Computer Science",
volume = "311",
noNumber = "1-3",
pages = "463--478",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#46",
doi = "10.1016/j.tcs.2003.10.031",
}
47.
@InProceedings{SG02,
author = "D.G. Stork and Glabbeek, R.J. van",
title = "Token-controlled place refinement in hierarchical
{Petri} nets with application to active document
workflow",
booktitle = "{\rm Proceedings $23^{rd}$ International Conference
on} Application and Theory of Petri Nets, {\rm ICATPN
2002, Adelaide, Australia, June 2002}",
editor = "J. Esparza and C. Lakos",
year = "2002",
publisher = springer,
series = lncs,
volume = "2360",
pages = "394--413",
doi = "10.1007/3-540-48068-4\_23",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#47",
}
48.
@Article{BFG04,
author = "B. Bloom and W.J. Fokkink and Glabbeek, R.J. van",
title = "Precongruence Formats for Decorated Trace Semantics",
journal = "Transactions on Computational Logic",
publisher = "ACM",
year = "2004",
volume = "5",
number = 1,
pages = "26-78",
doi = "10.1145/963927.963929",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#48",
}
49.
@InProceedings{GS03,
author = "Glabbeek, R.J. van and D.G. Stork",
title = "Query Nets: Interacting Workflow Modules that Ensure
Global Termination",
booktitle = "{\rm Proceedings International Conference on} Business
Process Management, {\rm BPM 2003, Eindhoven, The
Netherlands, June 2003}",
noeditor = "Wil van der Aalst, Arthur ter Hofstede and Mathias Weske",
editor = "Aalst, W.M.P. van der and Hofstede, A.H.M. ter and Weske, M.",
year = "2003",
publisher = springer,
series = lncs,
volume = "2678",
pages = "184--199",
doi = "10.1007/3-540-44895-0\_13",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#49",
}
50.
@InProceedings{HG03,
author = {Hughes, D.J.D. and Glabbeek, R.J. van},
title = {Proof Nets for Unit-free Multiplicative-Additive Linear Logic
(extended abstract)},
booktitle = "{\rm Proceedings $18^{th}$ Annual IEEE Symposium on}
Logic in Computer Science, {\rm LICS 2003, Ottawa,
Canada, June 2003}",
year = {2003},
publisher = {IEEE Computer Society Press},
pages = {1-10},
doi = "10.1109/LICS.2003.1210039",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#50",
}
51.
@InProceedings{FGW03,
author = "W.J. Fokkink and Glabbeek, R.J. van and Wind, P. de",
title = {Compositionality of {Hennessy-Milner} Logic through
Structural Operational Semantics},
booktitle = {{\rm Proceedings 14th International Symposium on}
Fundamentals of Computation Theory, {\rm FCT 2003,
Malm\"o, Sweden, August 2003}},
editor = {A. Lingas and B.J. Nilsson},
volume = {2751},
series = lncs,
year = {2003},
publisher = springer,
address = {Berlin / Heidelberg},
pages = {412-422},
doi = "10.1007/978-3-540-45077-1\_38",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#51",
}
52.
@InProceedings{GV03,
author = "Glabbeek, R.J. van and F.W. Vaandrager",
title = {Bundle Event Structures and {CCSP}},
booktitle = {{\rm Proceedings} CONCUR 2003, {\rm 14$^{\it th}$
International Conference on} Concurrency Theory, {\rm
Marseille, France, September 2003}},
editor = {R. Amadio and D. Lugiez},
volume = {2761},
series = lncs,
year = 2003,
publisher = springer,
pages = {57-71},
doi = "10.1007/978-3-540-45187-7\_4",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#52",
}
53.
@Article{vG04,
author = "Glabbeek, R.J. van",
title = "The Meaning of Negative Premises in Transition System
Specifications {II}",
journal = {Journal of Logic and Algebraic Programming},
year = {2004},
volume = {60--61},
pages = {229--258},
doi = "10.1016/j.jlap.2004.03.007",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#53",
}
ix.
@InProceedings{vG03,
author = "Glabbeek, R.J. van",
title = {Liveness respecting semantics},
booktitle = {{\rm Slide Reprints from the Workshop on} Process Algebra:
Open Problems and Future Directions,
{\rm PA '03, Bologna, Italy, July 2003}},
pages = {59-63},
year = {2003},
editor = {L. Aceto and Z. {\'E}sik and W.J. Fokkink and
A. Ing{\'o}lfsd{\'o}ttir},
volume = {NS-03-3},
series = {BRICS notes},
organization = {Department of Computer Science, University of Aarhus, Denmark},
URL = "http://www.brics.dk/NS/03/3/BRICS-NS-03-3.pdf",
}
54.
@Article{AFGI04,
author = "L. Aceto and W.J. Fokkink and Glabbeek, R.J. van and
A. Ing{\'o}lfsd{\'o}ttir",
title = {Nested Semantics over Finite Trees are Equationally Hard},
journal = "Information and Computation",
year = "2004",
volume = "191",
number = "2",
pages = "203--232",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#54",
doi = "10.1016/j.ic.2004.02.001",
}
55.
@InProceedings{GP04,
author = "Glabbeek, R.J. van and Plotkin, G.D.",
title = "Event Structures for Resolvable Conflict",
booktitle = "{\rm Proceedings $29^{th}$ International Symposium on}
Mathematical Foundations of Computer Science, {\rm MFCS 2004,
Prague, Czech Republic, August 2004}",
editor = "J. Fiala and V. Koubek and J. Kratochv\'il",
month = aug,
series = lncs,
volume = 3153,
publisher = springer,
year = "2004",
pages = "550-561",
doi = "10.1007/978-3-540-28629-5\_42",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#55",
}
56.
@Article{vG05,
author = {Glabbeek, R.J. van},
title = {On the Expressiveness of Higher Dimensional Automata
(extended abstract)},
journal = {Electronic Notes in Theoretical Computer Science},
year = {2005},
volume = {128},
pages = {5-34},
month = {April},
number = {2): Proceedings of the 11th International Workshop on
{\sl Expressiveness in Concurrency} (EXPRESS 2004},
doi = "10.1016/j.entcs.2004.11.026",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#56",
}
57.
@Article(HvG,
Author="Hughes, D.J.D. and Glabbeek, R.J. van",
Title="Proof Nets for Unit-free Multiplicative-Additive Linear Logic",
Journal="ACM Transactions on Computational Logic",
Volume=6,
Number=4,
Pages="784-842",
Year=2005,
DOI="10.1145/1094622.1094629",
URL="http://theory.stanford.edu/~rvg/abstracts.html#57",
)
58.
@InProceedings{vG05b,
author = {Glabbeek, R.J. van},
title = {On Cool Congruence Formats for Weak Bisimulations (extended abstract)},
booktitle = {{\rm Proceedings} International Colloquium on Theoretical Aspects of Computing, {\rm ICTAC05, Hanoi, Vietnam}},
year = 2005,
editor = {D.V. Hung and M. Wirsing},
volume = 3722,
series = lncs,
publisher = springer,
pages = {318-333},
doi = {10.1007/11560647\_21},
URL = {http://theory.stanford.edu/~rvg/abstracts.html#58},
}
59.
@InProceedings{vG05c,
author = {Glabbeek, R.J. van},
title = {The Individual and Collective Token Interpretations of Petri Nets },
booktitle = {{\rm Proceedings} CONCUR 2005, {\rm 16$^{\it th}$
International Conference on} Concurrency Theory, {\rm
San Francisco, USA, August 2005}},
pages = {323-337},
year = 2005,
editor = {M. Abadi and L. de Alfaro},
volume = 3653,
series = lncs,
publisher = springer,
doi = {10.1007/11539452\_26},
URL = {http://theory.stanford.edu/~rvg/abstracts.html#59},
}
60.
@InProceedings{vG05d,
author = {Glabbeek, R.J. van},
title = {On Specifying Timeouts},
booktitle = {{\rm Short Contributions from the Workshop on} Algebraic Process Calculi: The First Twenty Five Years and Beyond, {\rm PA '05, Bertinoro, Italy, August 2005}},
pages = {112-113},
year = 2005,
editor = {L. Aceto and A.D. Gordon},
volume = 162,
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
doi = {10.1016/j.entcs.2005.12.083},
URL = {http://theory.stanford.edu/~rvg/abstracts.html#60},
}
61.
@article{FGW06,
author = "W.J. Fokkink and Glabbeek, R.J. van and Wind, P. de",
title = {Compositionality of {Hennessy-Milner} Logic by
Structural Operational Semantics},
year = {2006},
journal = "Theoretical Computer Science",
pages = {421-440},
volume = 354,
number = 3,
doi = "10.1016/j.tcs.2005.11.035",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#61",
}
62.
@InProceedings{FGW06a,
author = "W.J. Fokkink and Glabbeek, R.J. van and Wind, P. de",
title = {Divide and Congruence Applied to $\eta$-Bisimulation},
booktitle = {{\rm Proceedings of the Second Workshop on}
Structural Operational Semantics, {\rm SOS 2005,
Lisbon, Portugal}},
editor = {P.D. Mosses and I. Ulidowski},
volume = {156(1)},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
doi = {10.1016/j.entcs.2005.10.029},
pages = {97-113},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#62",
year = 2006,
}
63.
@Article{vG06,
author = {Glabbeek, R.J. van},
title = {On the Expressiveness of Higher Dimensional Automata},
journal = {Theoretical Computer Science},
year = {2006},
volume = {368},
number = {1-2},
pages = {169-194},
doi = {10.1016/j.tcs.2006.06.024},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#63",
}
x.
@InProceedings{vG05a,
author = {Glabbeek, R.J. van},
title = {Higher-Dimensional Automata and Other Models of Concurrency},
booktitle = {{\rm Preliminary Proceedings of the Workshop on}
Geometry and Topology in Concurrency,
{\rm GETCO '05, San Francisco, USA, August 2005}},
pages = {1},
year = {2005},
editor = {P. Cousot and L. Fajstrup and E. Goubault and M. Herlihy and K.G. Larsen and M. Rauen},
volume = {NS-05-5},
series = {BRICS Note},
address = {Denmark},
organization = {Department of Computer Science, University of Aarhus},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#x",
}
64.
@InProceedings{FGW06b,
author = "W.J. Fokkink and Glabbeek, R.J. van and Wind, P. de",
title = {Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation},
booktitle = {{\rm Revised Lectures Fourth International Symposium on}
Formal Methods for Components and Objects,
{\rm FMCO '05, Amsterdam, The Netherlands, November 2005}},
editor = {F.S. de Boer and M.M. Bonsangue and S. Graf and W.-P. de Roever},
volume = {4111},
series = lncs,
publisher = springer,
doi = {10.1007/11804192},
pages = {195-218},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#64",
year = 2006,
}
65.
@InProceedings{vG05e,
author = {Glabbeek, R.J. van},
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},
pages = {26-39},
year = {2005},
editor = {A. Middeldorp and V. van Oostrom and F. van Raamsdonk and R. de Vrijer},
volume = {3838},
series = lncs,
publisher = springer,
doi = {10.1007/11601548\_4},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#65",
}
66.
@inproceedings{GV06,
author = {Glabbeek, R.J. van and M. Voorhoeve},
title = {Liveness, Fairness and Impossible Futures},
booktitle = {{\rm Proceedings} CONCUR 2006, {\rm 17$^{\it th}$
International Conference on} Concurrency Theory, {\rm
Bonn, Germany, August 2006}},
year = {2006},
pages = {126-141},
doi = {10.1007/11817949\_9},
editor = {C. Baier and H. Hermanns},
publisher = {Springer},
series = lncs,
volume = {4137},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#66",
}
67.
@Article{GLT09b,
author = {Glabbeek, R.J. van and B. Luttik and N. Tr\v{c}ka},
title = {Branching Bisimilarity with Explicit Divergence },
journal = {Fundamenta Informaticae},
year = 2009,
volume = 93,
number = 4,
pages = {371-392},
doi = {10.3233/FI-2009-109},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#67",
}
68.
@Proceedings{GM06,
title = {{\rm Proceedings of the 3rd Workshop on}
Structural Operational Semantics,
{\rm Bonn, Germany, 26 August 2006}},
year = 2006,
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
editor = {Glabbeek, R.J. van and P.D. Mosses},
volume = "175(1)",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#68",
}
@Article{GM06a,
author = {Glabbeek, R.J. van and P.D. Mosses},
doi = {10.1016/j.entcs.2006.11.016},
title = {Preface {\rm Proceedings of the 3rd Workshop on}
Structural Operational Semantics,
{\rm Bonn, Germany, 26 August 2006}},
pages = {1-2},
year = 2006,
editor = {Glabbeek, R.J. van and P.D. Mosses},
volume = {175},
number = 1,
journal = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#68",
}
69.
@InCollection{DGHMZ07,
author = {Y. Deng and Glabbeek, R.J. van
and M. Hennessy and C.C. Morgan and C. Zhang},
title = {Remarks on Testing Probabilistic Processes },
booktitle = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
pages = {359-397},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
year = 2007,
editor = {L. Cardelli and M. Fiore and G. Winskel},
volume = 172,
doi = {10.1016/j.entcs.2007.02.013},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#69",
}
70.
@InProceedings{DGMZ07,
author = {Y. Deng and Glabbeek, R.J. van
and C.C. Morgan and C. Zhang},
title = {Scalar Outcomes Suffice for Finitary Probabilistic Testing},
booktitle = {{\rm Proceedings 16th} European Symposium on Programming,
{\rm ESOP 2007, Braga, Portugal, 24 March - 1 April, 2007}},
pages = {363-378},
year = 2007,
editor = {R. De Nicola},
volume = 4421,
series = lncs,
publisher = springer,
doi = {10.1007/978-3-540-71316-6\_25},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#70",
}
71.
@InProceedings{DGHMZ07a,
author = {Y. Deng and Glabbeek, R.J. van
and M. Hennessy and C.C. Morgan and C. Zhang},
title = {Characterising Testing Preorders
for Finite Probabilistic Processes},
booktitle = {{\rm Proceedings 22nd Annual IEEE Symposium on}
Logic in Computer Science,
{\rm LICS 2007, Wroclaw, Poland, July 2007}},
pages = {313-322},
year = 2007,
publisher = {IEEE Computer Society Press},
doi = {10.1109/LICS.2007.15},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#71",
}
72.
@Proceedings{GH07,
title = {{\rm Proceedings of the 4th Workshop on}
Structural Operational Semantics,
{\rm Wroclaw, Poland, 9 July 2007}},
year = 2006,
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
editor = {Glabbeek, R.J. van and M. Hennessy},
volume = "192(1)",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#72",
}
@Article{GH07a,
author = {Glabbeek, R.J. van and M. Hennessy},
doi = {10.1016/j.entcs.2007.10.001},
title = {Preface {\rm Proceedings of the 4th Workshop on}
Structural Operational Semantics,
{\rm Wroclaw, Poland, 9 July 2007}},
pages = {1-3},
year = 2007,
editor = {Glabbeek, R.J. van and M. Hennessy},
volume = {192},
number = 1,
journal = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#72",
}
73.
@article{GLT09a,
author = {Glabbeek, R.J. van and B. Luttik and N. Tr\v{c}ka},
title = {Computation Tree Logic with Deadlock Detection},
journal = {Logical Methods in Computer Science},
volume = {5},
number = {4},
year = {2009},
NOee = {http://arxiv.org/abs/0912.2109},
doi = {10.2168/LMCS-5(4:5)2009},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#73",
}
74.
@InProceedings{GP08,
author = {Glabbeek, R.J. van and B. Ploeger},
title = {Correcting a Space-Efficient Simulation Algorithm},
booktitle = {{\rm Proceedings 20th International Conference on}
Computer Aided Verification
{\rm (CAV 2008), Princeton, USA, July 2008}},
pages = {517-529},
year = 2008,
editor = {A. Gupta and S. Malik},
volume = 5123,
series = lncs,
publisher = springer,
doi = {10.1007/978-3-540-70545-1\_49},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#74",
}
@TechReport{GP08a,
author = {Glabbeek, R.J. van and B. Ploeger},
title = {Correcting a Space-Efficient Simulation Algorithm},
institution = {Eindhoven University of Technology},
year = 2008,
type = {CS-Report},
number = {08-06},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#74",
note = "Extended abstract in A. Gupta \& S. Malik, editors:
Proceedings 20th International Conference on
{\sl Computer Aided Verification}
(CAV 2008), Princeton, USA, July 2008,
LNCS 5123, Springer, pp. 517--529, doi:
\urlalt{http://dx.doi.org/10.1007/978-3-540-70545-1\_49}
{10.1007/978-3-540-70545-1\_49}",
}
75.
@InProceedings{GP08b,
author = {Glabbeek, R.J. van and B. Ploeger},
title = {Five Determinisation Algorithms},
booktitle = {{\rm Proceedings Thirteenth International Conference on}
Implementation and Application of Automata {\rm (CIAA 2008),
San Francisco, California, USA, July 2008}},
pages = {161-170},
year = 2008,
editor = {O.H. Ibarra and B. Ravikumar},
volume = 5148,
series = lncs,
publisher = springer,
doi = {10.1007/978-3-540-70844-5\_17},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#75",
}
@TechReport{GP08c,
author = {Glabbeek, R.J. van and B. Ploeger},
title = {Five Determinisation Algorithms},
institution = {Eindhoven University of Technology},
year = 2008,
type = {CS-Report},
number = {08-14},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#75",
note = "Extended abstract in A. Gupta \& S. Malik, editors:
Proceedings Thirteenth International Conference on
{\sl Implementation and Application of Automata} (CIAA 2008),
San Francisco, California, USA, July 2008,
LNCS 5148, Springer, pp. 161--170, doi:
\urlalt{http://dx.doi.org/10.1007/978-3-540-70844-5\_17}
{10.1007/978-3-540-70844-5\_17}",
}
76.
@Article{GM09,
author = {Glabbeek, R.J. van and P.D. Mosses},
title = {Preface, Special Issue on Structural Operational Semantics},
journal = {Information and Computation},
year = 2009,
volume = 207,
number = 2,
pages = {83-84},
doi = {10.1016/j.ic.2008.10.006},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#76",
}
77.
@TechReport{GGS08a,
author = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
title = {Symmetric and Asymmetric Asynchronous Interaction},
institution = {Technical University of Braunschweig},
year = 2008,
number = {2008-03},
url = "http://arxiv.org/abs/0901.0043",
note = "Extended abstract in:
F. Bonchi, D. Grohmann, P. Spoletini, A. Troina \& E. Tuosto, editors:
Proceedings of the First {\sl Interaction and Concurrency Experience}
(ICE 2008), ENTCS 229(3), pp. 77-95"
}
@InProceedings{GGS08b,
author = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
title = {Symmetric and Asymmetric Asynchronous Interaction},
year = 2009,
number = {229(3)},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#77",
booktitle = {{\rm Proceedings of the}
First Interaction and Concurrency Experience
{\rm (ICE 2008)}},
pages = {77-95},
editor = {F. Bonchi and D. Grohmann and P. Spoletini and A. Troina and E. Tuosto},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
doi = {10.1016/j.entcs.2009.06.040},
}
78.
@TechReport{GGS08c,
author = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
title = {On Synchronous and Asynchronous Interaction in Distributed Systems},
institution = {Technical University of Braunschweig},
year = 2008,
number = {2008-04},
url = "http://arxiv.org/abs/0901.0048",
note = "Extended abstract in:
E. Ochma\'nski \& J. Tyszkiewicz, editors:
Proceedings 33rd International Symposium on
{\sl Mathematical Foundations of Computer Science}
(MFCS 2008), Toru\'n, Poland, August 2008,
LNCS 5162, Springer, pp. 16--35"
}
@InProceedings{GGS08d,
author = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
title = {On Synchronous and Asynchronous Interaction in Distributed Systems},
year = 2008,
number = {5162},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#78",
booktitle = {{\rm Proceedings 33rd International Symposium on}
Mathematical Foundations of Computer Science
{\rm (MFCS 2008), Toru\'n, Poland, August 2008}},
pages = {16-35},
editor = {E. Ochma\'nski and J. Tyszkiewicz},
series = lncs,
publisher = springer,
doi = {10.1007/978-3-540-85238-4\_2},
}
79.
@article{DGHM08,
author = {Y. Deng and Glabbeek, R.J. van and M. Hennessy and C.C. Morgan},
title = {Characterising Testing Preorders for Finite Probabilistic
Processes},
journal = {Logical Methods in Computer Science},
volume = {4},
number = {4},
eid = {4},
year = {2008},
doi = {10.2168/LMCS-4(4:4)2008},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#79",
}
80.
@article{CFG08,
author = {T. Chen and W.J. Fokkink and Glabbeek, R.J. van},
title = {Ready to preorder: The case of weak process semantics},
journal = {Inf. Process. Lett.},
volume = {109},
number = {2},
year = {2008},
pages = {104-111},
doi = {10.1016/j.ipl.2008.09.003},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#80",
}
81.
@inproceedings{CFG09,
author = {T. Chen and W.J. Fokkink and Glabbeek, R.J. van},
title = {On Finite Bases for Weak Semantics: Failures Versus Impossible
Futures},
year = {2009},
pages = {167-180},
editor = {M. Nielsen and
A. Kucera and
P.B. Miltersen and
C. Palamidessi and
P. Tuma and
F.D. Valencia},
booktitle = {{\rm Proceedings 35th Conference on Current Trends in}
Theory and Practice of Computer Science {\rm (SOFSEM),
\v{S}pindler\r{u}v Ml{\'y}n, Czech Republic, January 24-30, 2009}},
publisher = springer,
series = lncs,
volume = {5404},
doi = {10.1007/978-3-540-95891-8\_18},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#81",
}
@misc{CFG08a,
author = {T. Chen and W.J. Fokkink and Glabbeek, R.J. van},
title = {On Finite Bases for Weak Semantics: Failures Versus Impossible
Futures},
year = {2008},
url = "http://arxiv.org/abs/0810.4904",
Note = "Extended abstract in
M. Nielsen,
A. Kucera,
P.B. Miltersen,
C. Palamidessi,
P. Tuma \&
F.D. Valencia, editors: Proceedings 35th Conference on
{\sl Current Trends in Theory and Practice of Computer Science} (SOFSEM),
\v{S}pindler\r{u}v Ml{\'y}n, Czech Republic, January 24-30, 2009,
LNCS 5404, Springer, pp. 167-180"
}
82.
@article{GP09,
author = {Glabbeek, R.J. van and G.D. Plotkin},
title = {Configuration structures, event structures and Petri nets},
journal = {Theoretical Computer Science},
volume = {410},
number = {41},
year = {2009},
pages = {4111-4159},
doi = {10.1016/j.tcs.2009.06.014},
url = {http://arxiv.org/abs/0912.4023}
}
83.
@inproceedings{DGHM09,
author = {Y. Deng and Glabbeek, R.J. van and M. Hennessy and C.C. Morgan},
title = {Testing Finitary Probabilistic Processes (extended abstract)},
year = {2009},
pages = {274-288},
doi = {10.1007/978-3-642-04081-8\_19},
editor = {M. Bravetti and G. Zavattaro},
booktitle = {{\rm Proceedings 20th International Conference on} Concurrency Theory
{\rm (CONCUR 2009), Bologna, Italy, September 1-4, 2009}},
publisher = springer,
series = lncs,
volume = {5710},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#83",
}
xi.
@Misc{vG09,
author = "Glabbeek, R.J. van",
title = "The Linear Time – Branching Time Spectrum after 20 years
{\rm or} Full abstraction for safety and liveness properties",
year = "2009",
howpublished = "Copies of slides. Invited talk for IFIP WG 1.8 at CONCUR 2009 in Bologna",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#20years",
}
84.
@InCollection{GP10,
author = {Glabbeek, R.J. van and G.D. Plotkin},
title = {On CSP and the Algebraic Theory of Effects},
booktitle = {Reflections on the Work of C.A.R. Hoare},
pages = {333-369},
year = 2010,
editor = {C.B. Jones and A.W. Roscoe and K.R. Wood},
series = {History of Computing},
publisher = springer,
doi = {10.1007/978-1-84882-912-1\_15},
URL = "http://arxiv.org/abs/1007.5488",
}
85.
@inproceedings{vG10,
author = {Glabbeek, R.J. van},
title = {The Coarsest Precongruences Respecting Safety and Liveness
Properties},
year = {2010},
pages = {32-52},
doi = {10.1007/978-3-642-15240-5_3},
editor = {C.S. Calude and V. Sassone},
booktitle = {{\rm Proceedings 6th IFIP TC 1/WG 2.2 International
Conference on} Theoretical Computer Science
{\rm (TCS 2010); held as part of the {\sl World Computer Congress} 2010, Brisbane,
Australia, September 20-23, 2010}},
publisher = springer,
series = {IFIP},
volume = {323},
url = {http://arxiv.org/abs/1007.5491}
}
86.
@inproceedings{DG10,
author = {Y. Deng and Glabbeek, R.J. van},
title = {Characterising Probabilistic Processes Logically (extended
abstract)},
year = {2010},
pages = {278-293},
doi = {10.1007/978-3-642-16242-8\_20},
editor = {C.G. Ferm{\"u}ller and A. Voronkov},
booktitle = {{\rm Proceedings 17th International Conference on}
Logic for Programming, Artificial Intelligence, and Reasoning
{\rm (LPAR-17), Yogyakarta, Indonesia, October 10-15, 2010}},
publisher = springer,
series = lncs,
volume = {6397},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#86",
}
@misc{DG10a,
author = {Y. Deng and Glabbeek, R.J. van},
title = {Characterising Probabilistic Processes Logically},
year = {2010},
url = {http://arxiv.org/abs/1007.5188},
note = {Extended abstract in C.G. Ferm\"uller \& A. Voronkov, editors:
Proceedings 17th International Conference on {\sl Logic
for Programming, Artificial Intelligence and Reasoning}
(LPAR), Yogyakarta, Indonesia, October 2010, LNCS 6397,
Springer, 2010, pp. 278-293.}
}
87.
@Inproceedings{DGHM11,
author = "Y. Deng and Glabbeek, R.J. van and M. Hennessy and C.C. Morgan",
year = "2011",
title = "Real-Reward Testing for Probabilistic Processes (extended abstract)",
editor = "M. Massink and G. Norman",
booktitle = "{\rm Proceedings Ninth Workshop on}
Quantitative Aspects of Programming Languages,
{\rm Saarbr\"ucken, Germany, April 1-3, 2011}",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = "57",
publisher = "Open Publishing Association",
pages = "61-73",
doi = "10.4204/EPTCS.57.5",
}
88.
@article{vG11,
author = {Glabbeek, R.J. van},
title = {On Cool Congruence Formats for Weak Bisimulations},
journal = {Theoretical Computer Science},
volume = {412},
number = {28},
year = {2011},
pages = {3283-3302},
doi = {10.1016/j.tcs.2011.02.036},
url = {http://theory.stanford.edu/~rvg/abstracts.html#88},
}
89.
@article{GGS11,
author = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
title = {Abstract Processes of Place/Transition Systems},
year = {2011},
ee = {http://arxiv.org/abs/1103.5916},
journal = {Information Processing Letters},
volume = {111},
number = {13},
pages = {626-633},
doi = {10.1016/j.ipl.2011.03.013},
}
90.
@inproceedings{GGS11a,
author = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
title = {On Causal Semantics of Petri Nets (extended abstract)},
pages = {43-59},
doi = {10.1007/978-3-642-23217-6\_4},
editor = {J.-P. Katoen and B. K\"onig},
booktitle = {{\rm Proceedings 22nd International Conference on}
Concurrency Theory,
{\rm CONCUR 2011, Aachen, Germany, September 2011}},
publisher = springer,
series = lncs,
volume = {6901},
year = {2011},
isbn = {978-3-642-23216-9},
url = {http://theory.stanford.edu/~rvg/abstracts.html#90},
}
@TechReport{GGS11b,
author = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke",
title = {On Causal Semantics of Petri Nets},
institution = {Institut f\"ur Programmierung und Reaktive Systeme, TU Braunschweig},
year = 2011,
type = {Informatik Bericht},
number = {Nr.~2011-06},
address = {Germany},
note = {Extended abstract in J.-P. Katoen and B. K\"onig, editors:
{\sl {\rm Proceedings 22nd International Conference on}
Concurrency Theory,
{\rm CONCUR 2011, Aachen, Germany, September 2011}},
LNCS 6901, Springer, 2011, pp. 43-59.},
url = {http://theory.stanford.edu/~rvg/abstracts.html#90},
}
91.
@inproceedings{FGHMPT11,
author = {A. Fehnker and
R.J. van Glabbeek and
P. H{\"o}fner and
A.K. McIver and
M. Portmann and
W.L. Tan},
title = {Modelling and Analysis of AODV in UPPAAL},
booktitle = {{\rm Proceedings 1st International Workshop on}
Rigorous Protocol Engineering, {\rm WRiPE 2011}},
year = {2011},
NOurl = {http://wripe11.cis.upenn.edu/program/papers/wripe11-paper10.pdf},
url = {http://theory.stanford.edu/~rvg/abstracts.html#91},
}
92.
@article{FGW12,
author = "W.J. Fokkink and Glabbeek, R.J. van and Wind, P. de",
title = {Divide and congruence: From decomposition of modal formulas
to preservation of branching and $\eta$-bisimilarity},
journal = {Information and Computation},
volume = {214},
year = {2012},
pages = {59-85},
doi = {10.1016/j.ic.2011.10.011},
url = {http://theory.stanford.edu/~rvg/abstracts.html#92},
}
93.
@inproceedings{FGHMPT12a,
author = {A. Fehnker and
R.J. van Glabbeek and
P. H{\"o}fner and
A.K. McIver and
M. Portmann and
W.L. Tan},
title = {A Process Algebra for Wireless Mesh Networks},
year = {2012},
pages = {295-315},
doi = {10.1007/978-3-642-28869-2_15},
editor = {H. Seidl},
booktitle = {Programming Languages and Systems:
{\rm Proceedings 21st} European Symposium on Programming,
{\rm ESOP 2012; held as part of the} European
Joint Conferences on Theory and Practice of Software,
{\rm ETAPS 2012, Tallinn, Estonia, March/April 2012}},
publisher = springer,
series = lncs,
volume = {7211},
isbn = {978-3-642-28868-5},
url = {http://theory.stanford.edu/~rvg/abstracts.html#93},
}
94.
@inproceedings{FGHMPT12b,
author = {A. Fehnker and
R.J. van Glabbeek and
P. H{\"o}fner and
A.K. McIver and
M. Portmann and
W.L. Tan},
title = {Automated Analysis of AODV Using UPPAAL},
pages = {173-187},
doi = {10.1007/978-3-642-28756-5_13},
editor = {C. Flanagan and
B. K{\"o}nig},
booktitle = {{\rm Proceedings 18th International Conference on}
Tools and Algorithms for the Construction and Analysis of
Systems, {\rm TACAS 2012; held as part of the} European
Joint Conferences on Theory and Practice of Software,
{\rm ETAPS 2012, Tallinn, Estonia, March/April 2012}},
publisher = springer,
series = lncs,
volume = {7214},
year = {2012},
isbn = {978-3-642-28755-8},
url = {http://theory.stanford.edu/~rvg/abstracts.html#94},
}
95.
@inproceedings{GGS12,
author = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke-Uffmann",
title = {On Distributability of Petri Nets (extended abstract)},
pages = {331-345},
doi = {10.1007/978-3-642-28729-9_22},
editor = {L. Birkedal},
booktitle = {{\rm Proceeding 15th International Conference on}
Foundations of Software Science and Computational Structures,
{\rm FoSSaCS 2012; held as part of the} European
Joint Conferences on Theory and Practice of Software,
{\rm ETAPS 2012, Tallinn, Estonia, March/April 2012}},
publisher = springer,
series = lncs,
volume = {7213},
year = {2012},
isbn = {978-3-642-28728-2},
url = {http://theory.stanford.edu/~rvg/abstracts.html#95},
}
@TechReport{GGS12a,
author = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke-Uffmann",
title = {On Distributability of Petri Nets},
institution = {Institut f\"ur Programmierung und Reaktive Systeme, TU Braunschweig},
year = 2012,
type = {Informatik Bericht},
number = {Nr.~2011-10},
address = {Germany},
note = "Extended abstract in L. Birkedal, editor:
{\sl {\rm Proceeding 15th International Conference on}
Foundations of Software Science and Computational Structures,
{\rm FoSSaCS 2012; held as part of the} European
Joint Conferences on Theory and Practice of Software,
{\rm ETAPS 2012, Tallinn, Estonia, March/April 2012}},
LNCS 7213, Springer, 2012, pp. 331-345",
publisher = springer,
ee = {http://arxiv.org/abs/1207.3597},
}
96.
@Article{HG12,
author = {P. H{\"o}fner and Glabbeek, R.J. van and I.J. Hayes},
title = {Preface---Morgan: a suitable case for treatment},
journal = {Formal Aspects of Computing},
year = 2012,
volume = 24,
number = {4--6},
pages = {417-422},
month = {July},
doi = {10.1007/s00165-012-0257-0},
url = {http://theory.stanford.edu/~rvg/abstracts.html#96},
note = {Festschrift, Celebrating the 60th Birthday of Carroll Morgan}
}
97.
@InProceedings{HGTPMF12,
author = {P. H{\"o}fner and
R.J. van Glabbeek and
W.L. Tan and
M. Portmann and
A.K. McIver and
A. Fehnker},
title = {A Rigorous Analysis of AODV and its Variants},
url = {http://theory.stanford.edu/~rvg/abstracts.html#97},
year = {2012},
pages = {203-212},
doi = {10.1145/2387238.2387274},
editor = {A.Y. Zomaya and
B. Landfeldt and
R. Prakash},
booktitle = {{\rm Proceedings 15th ACM International Conference on}
Modeling, Analysis and Simulation of Wireless and Mobile Systems,
{\rm MSWiM '12, Paphos, Cyprus, October 2012}},
publisher = {ACM},
isbn = {978-1-4503-1628-6},
}
98.
@Inproceedings{vG12,
author = "Glabbeek, R.J. van",
year = "2012",
title = "Musings on Encodings and Expressiveness",
editor = "Luttik, B. and Reniers, M.A.",
booktitle = "{\rm Proceedings Combined 19th International Workshop on}
Expressiveness in Concurrency {\rm and 9th Workshop on} Structured Operational Semantics,
{\rm Newcastle upon Tyne, UK, September 3, 2012}",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = "89",
publisher = "Open Publishing Association",
pages = "81-98",
doi = "10.4204/EPTCS.89.7",
}
99.
@Article{DGHM13,
author = "Y. Deng and Glabbeek, R.J. van and M. Hennessy and C.C. Morgan",
title = "Real-Reward Testing for Probabilistic Processes",
journal = {Theoretical Computer Science},
year = 2014,
volume = 538,
pages = {16-36},
doi = {10.1016/j.tcs.2013.07.016},
url = {http://theory.stanford.edu/~rvg/abstracts.html#99},
}
100.
@InProceedings{GHTP13,
author = {Glabbeek, R.J. van and
P. H{\"o}fner and
W.L. Tan and
M. Portmann},
title = {Sequence Numbers Do Not Guarantee Loop Freedom ---AODV Can Yield Routing Loops---},
url = {http://theory.stanford.edu/~rvg/abstracts.html#100},
year = {2013},
pages = {91-100},
doi = {10.1145/2507924.2507943},
booktitle = {{\rm Proceedings 16th ACM International Conference on}
Modeling, Analysis and Simulation of Wireless and Mobile Systems,
{\rm MSWiM '13, Barcelona, Spain, November 2013}},
publisher = {ACM},
isbn = {978-1-4503-1628-6},
}
101.
@Article{GGS13,
author = "Glabbeek, R.J. van and U. Goltz and J.-W. Schicke-Uffmann",
title = {On Characterising Distributability},
journal = {Logical Methods in Computer Science},
year = 2013,
volume = 9,
number = 3,
eid = 17,
doi = {10.2168/LMCS-9(3:17)2013},
url = {http://arxiv.org/abs/1309.3883},
abs = {http://theory.stanford.edu/~rvg/abstracts.html#101},
}
102.
@TechReport{FGHMPT13,
author = {A. Fehnker and
R.J. van Glabbeek and
P. H{\"o}fner and
A.K. McIver and
M. Portmann and
W.L. Tan},
title = {A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV},
institution = {NICTA},
year = {2013},
number = {5513},
address = {Sydney, Australia},
month = {December},
url = {http://arxiv.org/abs/1312.7645},
}
103.
@inproceedings{BGH14a,
author = {T. Bourke and
R.J. van Glabbeek and
P. H{\"o}fner},
title = {Showing Invariance Compositionally for a Process Algebra
for Network Protocols},
year = {2014},
pages = {144-159},
doi = {10.1007/978-3-319-08970-6\_10},
editor = {G. Klein and
R. Gamboa},
booktitle = {{\rm Proceedings 5th International Conference on}
Interactive Theorem Proving,
{\rm ITP 2014; held as part of the} Vienna Summer of Logic,
{\rm VSL 2014, Vienna, Austria, July 2014}},
publisher = springer,
series = lncs,
volume = {8558},
isbn = {978-3-319-08969-0},
bibsource = {DBLP, http://dblp.uni-trier.de},
url = {http://arxiv.org/abs/1407.3519},
abs = {http://theory.stanford.edu/~rvg/abstracts.html#103},
}
104.
@inproceedings{BGH14b,
author = {T. Bourke and
R.J. van Glabbeek and
P. H{\"o}fner},
title = {A mechanized proof of loop freedom of the (untimed) {AODV} routing protocol},
year = 2014,
pages = {47-63},
doi = {10.1007/978-3-319-11936-6\_5},
editor = {F. Cassez and J.-F. Raskin},
booktitle = {{\rm Proceedings 12th International Symposium on} Automated Technology for Verification and Analysis,
{\rm ATVA 2014, Sydney, NSW Australia, November 2014}},
publisher = springer,
series = lncs,
volume = 8837,
url = {http://arxiv.org/abs/1505.05646},
abs = {http://theory.stanford.edu/~rvg/abstracts.html#104},
}
105.
@Article{GGO14a,
author = "Glabbeek, R.J. van and U. Goltz and E.-R. Olderog",
title = {Special issue on ``{Combining Compositionality and Concurrency}'': part 1},
journal = "Acta Informatica",
year = 2015,
volume = 52,
number = 1,
pages = {3-4},
doi = {10.1007/s00236-014-0213-y},
}
106.
@TechReport{GH15a,
author = "Glabbeek, R.J. van and P. H{\"o}fner",
title = "Progress, Fairness and Justness in Process Algebra",
institution = {NICTA},
address = {Sydney, Australia},
number = {8501},
URL = "http://arxiv.org/abs/1501.03268",
year = "2015",
}
107.
@article{GH15b,
author = {Glabbeek, R.J. van and P. 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},
doi = {10.1007/s00236-015-0221-6},
url = {http://arxiv.org/abs/1505.05964},
}
108.
@Article{GGO14b,
author = "Glabbeek, R.J. van and U. Goltz and E.-R. Olderog",
title = {Special issue on ``{Combining Compositionality and Concurrency}'': part 2},
journal = "Acta Informatica",
year = 2015,
volume = 52,
number = {4-5},
pages = {303-304},
doi = {10.1007/s00236-015-0240-3},
}
109.
@Article{CFG15,
author = {T. Chen and W.J. Fokkink and Glabbeek, R.J. van},
title = {On the Axiomatizability of Impossible Futures },
journal = {Logical Methods in Computer Science},
year = 2015,
volume = {11},
number = {3},
eid = {17},
doi = {10.2168/LMCS-11(3:17)2015},
url = {http://arxiv.org/abs/1505.04985},
}
110.
@Inproceedings{EPTCS190.4,
author = "Peters, K. and Glabbeek, R.J. van",
year = "2015",
title = "Analysing and Comparing Encodability Criteria",
editor = "Crafa, S. and Gebler, D.E.",
booktitle = "{\rm Proceedings of the Combined 22th International Workshop on}
Expressiveness in Concurrency {\rm and 12th Workshop on}
Structural Operational Semantics,
{\rm Madrid, Spain, 31st August 2015}",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = "190",
publisher = "Open Publishing Association",
pages = "46-60",
doi = "10.4204/EPTCS.190.4",
}
@article{PG15,
author = {K. Peters and Glabbeek, R.J. van},
title = {Analysing and Comparing Encodability Criteria for Process Calculi},
journal = {Archive of Formal Proofs},
volume = {2015},
year = {2015},
url = {http://afp.sourceforge.net/entries/Encodability_Process_Calculi.shtml},
timestamp = {Tue, 18 Aug 2015 10:09:36 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/afp/PetersG15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
111.
@inproceedings{vG15,
author = {Glabbeek, R.J. van},
title = {Structure Preserving Bisimilarity,
Supporting an Operational Petri Net Semantics of {CCSP}},
booktitle = {{\rm Proceedings} Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, {\rm Oldenburg, Germany,
September 8-9, 2015}},
pages = {99--130},
year = {2015},
doi = {10.1007/978-3-319-23506-6_9},
editor = {R. Meyer and A. Platzer and H. Wehrheim},
series = lncs,
volume = {9360},
publisher = springer,
url = {http://arxiv.org/abs/1509.05842},
}
112.
@Article{BGH16,
author = {T. Bourke and
R.J. van Glabbeek and
P. H{\"o}fner},
title = {Mechanizing a Process Algebra for Network Protocols},
journal = {Journal of Automated Reasoning},
year = {2016},
volume = {56},
number = {3},
pages = {309-341},
doi = {10.1007/s10817-015-9358-9},
url = {http://arxiv.org/abs/1512.07304},
}
113.
@Proceedings{EPTCS196,
editor = {Glabbeek, R.J. van and Groote, J.F. and H\"ofner, P.},
year = "2015",
title = "{\rm Proceedings Workshop on}
Models for Formal Analysis of Real Systems,
{\rm Suva, Fiji, November 23, 2015}",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = "196",
publisher = "Open Publishing Association",
doi = "10.4204/EPTCS.196",
}
@Article{EPTCS196.0,
author = {Glabbeek, R.J. van and Groote, J.F. and H\"ofner, P.},
year = "2015",
title = "Preface, {\rm Proceedings Workshop on}
Models for Formal Analysis of Real Systems,
{\rm Suva, Fiji, November 23, 2015}",
journal = "Electronic Proceedings in Theoretical Computer Science",
volume = "196",
eid = "0",
publisher = "Open Publishing Association",
doi = "10.4204/EPTCS.196.0",
}
114. ------
@Article{GHPT16,
author = {Glabbeek, R.J. van and
P. H{\"o}fner and
M. Portmann and
W.L. Tan},
title = {Modelling and Verifying the {AODV} Routing Protocol},
journal = {Distributed Computing},
year = {2016},
volume = 29,
number = 4,
pages = {279-315},
DOI = {10.1007/s00446-015-0262-7},
url = {http://arxiv.org/abs/1512.08867},
}
115.
@InProceedings{BrGH16,
author = {E. Bres and Glabbeek, R.J. van and P. H{\"o}fner},
title = {A Timed Process Algebra for Wireless Networks with an Application in Routing (extended abstract)},
booktitle = {Programming Languages and Systems:
{\rm Proceedings 25th} European Symposium on Programming,
{\rm ESOP 2016; held as part of the} European
Joint Conferences on Theory and Practice of Software,
{\rm ETAPS 2016, Eindhoven, The Netherlands, April 2016}},
publisher = springer,
series = lncs,
pages = {95-122},
year = 2016,
editor = {P. Thiemann},
volume = {9632},
DOI = {10.1007/978-3-662-49498-1_5},
}
@TechReport{BrGH16b,
author = {E. Bres and Glabbeek, R.J. van and P. H{\"o}fner},
title = {A Timed Process Algebra for Wireless Networks with an Application in Routing},
institution = {NICTA},
year = 2016,
number = {9145},
note = "Extended abstract in P. Thiemann, editor:
{\sl Programming Languages and Systems:
{\rm Proceedings 25th} European Symposium on Programming,
{\rm ESOP 2016; held as part of the} European
Joint Conferences on Theory and Practice of Software,
{\rm ETAPS 2016, Eindhoven, The Netherlands, April 2016}},
LNCS 9632, Springer, 2016, pp. 95-122",
url = {http://arxiv.org/abs/1606.03663},
}
xii.
@Misc{vG16,
author = {Glabbeek, R.J. van},
title = {Ensuring Liveness Properties of Distributed Systems (A Research Agenda)},
howpublished = {Position paper},
month = {March},
year = {2016},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#agenda",}
116.
@InProceedings{FG16a,
author = {W.J. Fokkink and Glabbeek, R.J. van},
title = {Divide and Congruence II: Delay and Weak Bisimilarity},
booktitle = "{\rm Proceedings $31^{st}$ Annual ACM/IEEE Symposium on}
Logic in Computer Science, {\rm LICS 2016, New York, NY, USA,
July 2016}",
pages = {778-787},
year = {2016},
doi = {10.1145/2933575.2933590},
publisher = {ACM},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#116",
}
117.
@article{FG17b,
author = {W.J. Fokkink and Glabbeek, R.J. van},
title = {Divide and congruence {II:} From decomposition of modal formulas to
preservation of delay and weak bisimilarity},
journal = {Information and Computation},
volume = {257},
pages = {79-113},
year = {2017},
doi = {10.1016/j.ic.2017.10.003},
url = {http://arxiv.org/abs/1604.07530},
timestamp = {Fri, 01 Dec 2017 15:42:27 +0100},
biburl = {http://dblp.org/rec/bib/journals/iandc/FokkinkG17},
bibsource = {dblp computer science bibliography, http://dblp.org},
TRinstitution = {NICTA},
TRyear = 2016,
TRnumber = 9351,
TRurl = {http://arxiv.org/abs/1604.07530v1},
}
118.
@Misc{GH16,
author = "Glabbeek, R.J. van and Hughes, D.J.D.",
title = "MALL proof nets identify proofs modulo rule commutation",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#118",
year = "2016",
}
119.
@InCollection{vG16b,
author = {Glabbeek, R.J. van},
title = {An Algebraic Treatment of Recursion},
booktitle = {Liber Amicorum for Jan A. Bergstra},
pages = {58-59},
year = 2016,
editor = {I. Bethke and B. Bredeweg and A. Ponse},
publisher = {Informatics Institute, University of Amsterdam},
url = {http://arxiv.org/abs/1702.07838},
}
120.
@InCollection{vG17,
author = {Glabbeek, R.J. van},
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},
pages = {272--293},
year = {2017},
doi = {10.1007/978-3-319-51046-0_14},
editor = {Th. Gibson{-}Robinson and Ph.J. Hopcroft and R. Lazic},
publisher = springer,
series = lncs,
volume = {10160},
url = {http://arxiv.org/abs/1702.07844},
}
121.
@Inproceedings{EPTCS244.2,
author = {Glabbeek, R.J. van and H\"ofner, P.},
year = {2017},
title = {Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack},
editor = {Hermanns, H. and H\"ofner, P.},
booktitle = {{\rm Proceedings 2nd Workshop on}
Models for Formal Analysis of Real Systems,
{\rm Uppsala, Sweden, 29th April 2017}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {244},
publisher = {Open Publishing Association},
pages = {14-52},
doi = {10.4204/EPTCS.244.2},
}
122.
@InProceedings{FG17,
author = {W.J. Fokkink and Glabbeek, R.J. van},
title = "Precongruence Formats with Lookahead through Modal Decomposition",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#122",
year = "2017",
booktitle ={{\rm Proceedings 26th EACSL Annual Conference on} Computer Science Logic, {\rm CSL 2017}},
pages ={25:1--25:20},
series ={Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN ={978-3-95977-045-3},
ISSN ={1868-8969},
volume ={82},
LONGeditor ={Valentin Goranko and Mads Dam},
editor ={V. Goranko and M. Dam},
publisher ={Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
address ={Dagstuhl, Germany},
URN ={urn:nbn:de:0030-drops-76776},
doi ={10.4230/LIPIcs.CSL.2017.25},
annote ={Keywords: Structural Operational Semantics, Compositionality, Congruence, Modal Logic, Modal Decomposition, Lookahead}
}
123.
@InProceedings{vG17b,
author = "Glabbeek, R.J. van",
title = "Lean and Full Congruence Formats for Recursion",
URL = "http://theory.stanford.edu/~rvg/abstracts.html#123",
year = "2017",
booktitle = "{\rm Proceedings $32^{nd}$ Annual ACM/IEEE Symposium on}
Logic in Computer Science, {\rm LICS 2017, Reykjavik, Iceland,
June 2017}",
publisher = {IEEE Computer Society Press},
doi = {10.1109/LICS.2017.8005142},
}
124.
@InProceedings{FGL17a,
author = {W.J. Fokkink and Glabbeek, R.J. van and B. Luttik},
title = {Divide and Congruence III: Stability \& Divergence},
booktitle = {{\rm Proceedings 28th International Conference on} Concurrency Theory, {\rm CONCUR 2017}},
year = 2017,
editor = {R. Meyer and U. Nestmann},
volume = 85,
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
pages = {15:1--15:16},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
address = {Dagstuhl, Germany},
doi = {10.4230/LIPIcs.CONCUR.2017.15},
URL = "http://theory.stanford.edu/~rvg/abstracts.html#124",
}
125.
@TechReport{FGL17,
author = {W.J. Fokkink and Glabbeek, R.J. van and B. Luttik},
title = {Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence},
institution = {Data61, CSIRO},
year = 2017,
URL = "http://theory.stanford.edu/~rvg/abstracts.html#125",
}
126.
@Inproceedings{EPTCS255.2,
author = {Dyseryn, V. and Glabbeek, R.J. van and H\"ofner, P.},
year = {2017},
title = {Analysing Mutual Exclusion using Process Algebra with Signals},
editor = {Peters, K. and Tini, S.},
booktitle = {{\rm Proceedings Combined 24th International Workshop on}
Expressiveness in Concurrency {\rm and 14th Workshop on} Structural Operational Semantics,
{\rm Berlin, Germany, 4th September 2017}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {255},
publisher = {Open Publishing Association},
pages = {18-34},
doi = {10.4204/EPTCS.255.2},
}
127.
@TechReport{GLS18,
author = {Glabbeek, R.J. van and B. Luttik and L. Spaninks},
title = {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence},
institution = {Data61, CSIRO},
year = {2018},
url = {https://arxiv.org/abs/1801.01180}
}
128.
@TechReport{vG18a,
author = {Glabbeek, R.J. van},
title = {On the Validity of Encodings of the Synchronous in the Asynchronous $\pi$-calculus},
institution = {Data61, CSIRO},
year = {2018},
url = {https://arxiv.org/abs/1802.09182}
}
130.
@InProceedings{vG18b,
author = {Glabbeek, R.J. van},
title = {A Theory of Encodings and Expressiveness (extended abstract)},
booktitle = {{\rm Proceeding 21st International Conference on}
Foundations of Software Science and Computational Structures,
{\rm FoSSaCS 2018; held as part of the} European
Joint Conferences on Theory and Practice of Software,
{\rm ETAPS 2018, hessaloniki, Greece, April 2018}},
publisher = springer,
series = lncs,
year = 2018,
editor = {C. Baier and U. Dal Lago},
volume = 10803,
pages = {183-202},
doi = {10.1007/978-3-319-89366-2\_10},
}