%% ==================================================================== %% BibTeX-file{ %% author = {Rob van Glabbeek}, %% date = {June 16, 2004}, %% url = {http://theory.stanford.edu/~rvg/glabbeek.bib}, %% www-home = {http://theory.stanford.edu/~rvg}, %% address = {Computer Science Department, %% Stanford University, CA 94305-9045, %% United States of America}, %% email = {rvg at cs.stanford.edu}, %% abstract = {Bibliography for Rob van Glabbeek} %% } %% ==================================================================== @String{lncs = "\rm LNCS"} @String{springer = "Springer"} @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", URL = "http://Boole.stanford.edu/pub/DVI/prefix.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-prefix.ps.gz}", } @TechReport{AFGI03, 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}, institution = {Department of Computer Science, University of Aarhus}, year = {2003}, type = {{BRICS} report}, number = {RS-03-27}, address = {Denmark}, month = {August}, URL = "http://Boole.stanford.edu/pub/DVI/nested.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-nested.ps.gz}. To appear in {\em Information and Computation}", } @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", } @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 {\em Automata, Languages and Programming}, ICALP '96, Karlsruhe, Germany, July 1987, LNCS 267, Springer, 1987, pp. 84--94", title = "Another look at abstraction in process algebra", } @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 '96, 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)", } @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", } @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", } @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", URL = "http://Boole.stanford.edu/pub/DVI/lics2000.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub\-/lics2000.ps.gz}", } @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", URL = "http://boole.stanford.edu/pub/winter.ps.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-winter.ps.gz}", } @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://Boole.stanford.edu/pub/DVI/axiomst.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-axiomst.ps.gz}", } @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", URL = "http://Boole.stanford.edu/pub/DVI/atch.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-atch.ps.gz}" } @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", URL = "http://Boole.stanford.edu/pub/DVI/tree.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-tree.ps.gz}", } @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, pages = {412-422}, URL = "http://Boole.stanford.edu/pub/DVI/hml.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-hml.ps.gz}", } @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, action = "submit", URL = "http://kilby.stanford.edu/\-\~{}rvg/\-pub/\-good.pdf", note = "Available at {\tt http://kilby.stanford.edu/\-\~{}rvg/\-pub/\-good.pdf}", } @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 {\em STACS 87}, 4$^{\it th}$ Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 1987, LNCS 247, Springer, 1987, pp. 336--347", } @InProceedings{vG87, author = "Glabbeek, R.J. van", booktitle = "{\rm Proceedings} STACS 87, {\rm 4$^{\it th}$ Annual Symposium on Theoretical Aspects of Computer Science, 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)", } @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", } @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", } @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", note = "Available at {\tt http://kilby.stanford.edu/\-\~{}rvg/\-pub/\-STbisimulation.pdf}", } @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 {\em CONCUR '90, Theories of Concurrency: Unification and Extension}, Amsterdam, August 1990, LNCS 458, Springer, 1990, pp. 278--297", } @PhdThesis{vG90b, author = "Glabbeek, R.J. van", address = "Amsterdam", year = "1990", school = "Free University", title = "Comparative Concurrency Semantics and Refinement of Actions", URL = "http://theory.stanford.edu/~rvg/thesis.html", note = "Second edition available as {\em CWI tract} 109, CWI, Amsterdam 1996", } @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)", } @Misc{vG91, author = "Glabbeek, R.J. van", title = "Bisimulations for higher dimensional automata", howpublished = "Email message, July 7, 1991", year = "1991", note = "Available at {\tt http://theory.stanford.edu/\~{}rvg/hda}", URL = "http://theory.stanford.edu/~rvg/hda", annote = "This is the `technical report' quoted a.o. by Goubault and Jensen", } @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 {\em Concurrency Theory}, Hildesheim, Germany, August 1993}", year = "1993", editor = "E. Best", series = lncs, volume = "715", publisher = springer, pages = "66--81", } @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", URL = "http://Boole.stanford.edu/pub/DVI/complete.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-complete.ps.gz}", } @Misc{vG93b, author = "Glabbeek, R.J. van", title = "The linear time -- branching time spectrum {II}; the semantics of sequential systems with silent moves", year = "1993", howpublished = "Manuscript. Preliminary version available at {\tt http://boole.stanford.edu/\-pub/\-spectrum.ps.gz}", URL = "http://Boole.stanford.edu/pub/spectrum.ps.gz", note = "Extended abstract in E. Best, editor: Proceedings {\em CONCUR'93}, 4$^{\it th}$ International Conference on {\em Concurrency Theory}, Hildesheim, Germany, August 1993, LNCS 715, Springer, pp. 66--81", } @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 = "77--84", URL = "http://Boole.stanford.edu/pub/sos.ps.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-sos.ps.gz}", } @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 = "{\em Bulletin of the EATCS} 53", year = "1994", pages = "190--198", URL = "http://Theory.stanford.edu/~rvg/branching", note = "Also available as Report STAN-CS-93-1486, Stanford University, 1993, at {\tt http://\-theory.stanford.edu/\-branching/}, and in G. Paun, G. Rozenberg \& A. Salomaa, editors: {\em Current Trends in Theoretical Computer Science; Entering the 21st Century}, World Scientific, 2001", } @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 ACP94, 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", URL = "http://Boole.stanford.edu/pub/DVI/acp.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-acp.ps.gz}", } @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://Boole.stanford.edu/pub/DVI/negative.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-negative.ps.gz}. Extended abstract in F. Meyer auf der Heide \& B. Monien, editors: Proceedings 23$^{\it th}$ International Colloquium on {\em Automata, Languages and Programming}, ICALP '96, Paderborn, Germany, July 1996, LNCS 1099, Springer, pp. 502--513", } @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}, URL = "http://Boole.stanford.edu/pub/DVI/negative2.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-negative2.ps.gz}. Extended abstract in F. Meyer auf der Heide \& B. Monien, editors: Proceedings 23$^{\it th}$ International Colloquium on {\em Automata, Languages and Programming}, ICALP '96, Paderborn, Germany, July 1996, LNCS 1099, Springer, pp. 502--513", } @Misc{vG95a, author = "Glabbeek, R.J. van", title = "Branching Bisimulation as a Tool in the Analysis of Weak Bisimulation", URL = "http://Boole.stanford.edu/pub/DVI/tool.dvi.gz", howpublished = "Available at {\tt http://boole.stanford.edu/\-pub/\-tool.ps.gz}", year = "1995", } @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", } @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", } @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)", } @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", } @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", note = "Available at {\tt http://\-boole.stanford.edu/\-pub/\-flat.ps.gz}", URL = "http://Boole.stanford.edu/pub/DVI/flat.dvi.gz", } @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, 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", } @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", URL = "http://Boole.stanford.edu/pub/DVI/concur99.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-concur99.ps.gz}", } @Misc{vG00, author = "Glabbeek, R.J. van", title = "Bisimulation", howpublished = "Scheduled to appear in the forgotten {\em Encyclopedia of Distributed Computing} (J.E. Urban \& P. Dasgupta, eds.), Kluwer", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-bis.ps.gz}", URL = "http://Boole.stanford.edu/pub/DVI/bis.dvi.gz", year = "2000", } @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", URL = "http://Boole.stanford.edu/pub/DVI/spectrum1.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-spectrum1.ps.gz}", } @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", nopages = "unknown", URL = "http://Theory.stanford.edu/~rvg/branching", note = "Also available as Report STAN-CS-93-1486, Stanford University, 1993, at {\tt http://theory.stanford.edu/\-branching/}, and in M.~Nielsen, editor: {\em The Concurrency Column}, {\em Bulletin of the EATCS} 53, 1994, pp. 190--198", } @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.cs.auc.dk/\~{}luca/BICI/SLIDES-PA03/vanglabbeek.pdf", note = "Available at {\tt http://www.cs.auc.dk/\-\~{}luca/\-BICI/\-SLIDES-PA03/\-vanglabbeek.pdf}", } @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 {\em Mathematical Foundations of Computer Science}, MFCS '89, Por\c{a}bka-Kozubnik, Poland, August/September 1989, LNCS 379, Springer, pp. 237--248", title = "Equivalence notions for concurrent systems and refinement of actions", } @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", } @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)", } @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", } @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 Poay, France, April 1990}", editor = "I. Guessarian", volume = "469", series = lncs, year = "1990", publisher = springer, month = apr, pages = "309--333", } @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 {\em $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", } @Article{GG01, author = "Glabbeek, R.J. van and U. Goltz", title = "Refinement of Actions and Equivalence Notions for Concurrent Systems", year = "2001", URL = "http://Boole.stanford.edu/pub/DVI/refinement.dvi.gz", journal = "Acta Informatica", volume = "37", pages = "229--327", URL = "http://boole.stanford.edu/pub/refinement.ps.gz", note = "Available at {\tt http://\-boole.\-stanford.edu/\-pub/\-refinement.ps.gz}", } @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://boole.stanford.edu/pub/delta.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-delta.ps.gz}", } @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", URL = "http://Boole.stanford.edu/pub/DVI/conf.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-conf.ps.gz}", } @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 = "Vaclav Koubek and Jan Kratochvil", month = aug, series = lncs, publisher = springer, year = "2004", URL = "http://Boole.stanford.edu/pub/DVI/resolv.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-resolv.ps.gz}", } @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://Boole.stanford.edu/pub/sa.ps.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-sa.ps.gz}. Slightly revised version in A.M. Haeberer, editor: Proceedings of the Seventh International Conference on {\em Algebraic Methodology and Software Technology}, AMAST'98, Amazonia, Brazil, January 1999, LNCS 1548, Springer, 1999, pp. 278--292.", } @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://Boole.stanford.edu/~rvg/pub/sa.ps.gz", note = "Available at {\tt http://boole.stanford.edu/\-~{}rvg/\-pub/\-sa.ps.gz}. Slightly condensed version in A.M. Haeberer, editor: Proceedings of the Seventh International Conference on {\em Algebraic Methodology and Software Technology}, AMAST'98, Amazonia, Brazil, January 1999, LNCS 1548, Springer, 1999, pp. 278--292.", } @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", } @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", } @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", URL = "http://Boole.stanford.edu/pub/DVI/prob.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-prob.ps.gz}", } @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", } @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", URL = "http://Boole.stanford.edu/pub/query.ps.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-query.ps.gz}", } @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)", URL = "http://kilby.stanford.edu/\~{}rvg/pub/petri.pdf", note = "Available at {\tt http://kilby.stanford.edu/\-\~{}rvg/\-pub/\-petri.pdf}", } @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: {\em Algebraic Methods: Theory, Tools and Applications}, LNCS 394, Springer, 1989, pp. 465--506", } @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)", } @InProceedings{GV91, author = "Glabbeek, R.J. van and F.W. Vaandrager", title = "The Difference Between Splitting in $n$ and $n+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{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", } @Article{GV97, author = "Glabbeek, R.J. van and F.W. Vaandrager", title = "The Difference Between Splitting in $n$ and $n+1$", year = "1997", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-split.pdf}. Abstract in {E. Best \& G. Rozenberg, editors}: Proceedings {\em $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", URL = "http://boole.stanford.edu/pub/split.pdf", } @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}, URL = "http://Boole.stanford.edu/pub/DVI/bundle.dvi.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-bundle.ps.gz}", } @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 Fransisco 1989}", year = "1989", editor = "G.X. Ritter", publisher = "North-Holland", pages = "613--618", note = "Full version in {\em Jounal of the ACM} 43(3), 1996, pp. 555--600", title = "Branching Time and Abstraction in Bisimulation Semantics (extended abstract)", } @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", } @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: {\em Information Processing 89}, Proceedings of the IFIP 11th World Computer Congress, San Fransisco, 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", URL = "http://Theory.Stanford.EDU/~rvg/abstraction/", } @InProceedings{HG03, author = {Hughes, 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}, URL = "http://Boole.stanford.edu/pub/mallnets-lics-with-proofs.ps.gz", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-mallnets-lics-with-proofs.ps.gz}", } @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}", } @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}, } @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", } @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", URL = "http://boole.stanford.edu/pub/token.pdf", note = "Available at {\tt http://boole.stanford.edu/\-pub/\-token.pdf}", }