Rob van Glabbeek

Rob van Glabbeek

DR, Professor

 https://orcid.org/0000-0003-4712-7423

Accepting PhD Students

PhD projects

Concurrency theory

Filter
Conference contribution

Search results

  • 2004

    Event Structures for Resolvable Conflict

    van Glabbeek, R. & Plotkin, G., 27 Aug 2004, Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings. Fiala, J., Koubek, V. & Kratochvíl, J. (eds.). Heidelberg: Springer, p. 550-561 12 p. (Lecture Notes in Computer Science; vol. 3153).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2003

    Bundle Event Structures and CCSP

    van Glabbeek, R. J. & Vaandrager, F. W., 3 Dec 2003, CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. Amadio, R. & Lugiez, D. (eds.). Springer, p. 57-71 15 p. (Lecture Notes in Computer Science; vol. 2761).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Liveness respecting semantics

    van Glabbeek, R. J., 1 Nov 2003, Slide Reprints from the Workshop on Process Algebra: Open Problems and Future Directions PA ’03. Aceto, L., Ésik, Z., Fokkink, W. J. & Ingólfsdóttir, A. (eds.). Basic Research in Computer Science, p. 59-63 5 p. (BRICS Notes Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Compositionality of Hennessy-Milner Logic through Structural Operational Semantics

    Fokkink, W. J., van Glabbeek, R. J. & Wind, P. D., 29 Jul 2003, Fundamentals of Computation Theory: 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings. Lingas, A. & Nilsson, B. J. (eds.). Berlin / Heidelberg: Springer, p. 412-422 11 p. (Lecture Notes in Computer Science; vol. 2751).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Proof Nets for Unit-free Multiplicative-Additive Linear Logic (extended abstract)

    Hughes, D. J. D. & van Glabbeek, R. J., 9 Jul 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. IEEE Computer Society Press, p. 1-10 10 p. (18th Annual IEEE Symposium of Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Query Nets: Interacting Workflow Modules that Ensure Global Termination

    van Glabbeek, R. J. & Stork, D. G., 1 Jan 2003, Business Process Management: International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings. Aalst, W. M. P. V. D., Hofstede, A. H. M. T. & Weske, M. (eds.). Springer, p. 184-199 16 p. (Lecture Notes in Computer Science; vol. 2678).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2002

    Token-controlled place refinement in hierarchical Petri nets with application to active document workflow

    Stork, D. G. & van Glabbeek, R. J., 12 Jun 2002, Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings. Esparza, J. & Lakos, C. (eds.). Springer, Vol. 2360. p. 394-413 20 p. (Lecture Notes in Computer Science; vol. 2360).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2000

    Precongruence Formats for Decorated Trace Preorders

    Bloom, B., Fokkink, W. J. & van Glabbeek, R. J., 28 Jun 2000, Proceedings of the Fifteenth Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, p. 107-118 12 p. (Annual Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1999

    Petri Nets, Configuration Structures and Higher Dimensional Automata

    van Glabbeek, R. J., 13 Aug 1999, CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings. Baeten, J. C. M. & Mauw, S. (eds.). Springer, Vol. 1664. p. 21-27 7 p. (Lecture Notes in Computer Science; vol. 1664).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Scheduling Algebra

    van Glabbeek, R. J. & Rittgen, P., 1 Jan 1999, Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings. Haeberer, A. M. (ed.). Springer, Vol. 1548. p. 278-292 15 p. (Lecture Notes in Computer Science; vol. 1548).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1998

    On the Relative Expressiveness of Petri Nets, Event Structures and Process Algebras abstract)

    van Glabbeek, R. J., 11 Aug 1998, Information Systems as Reactive Systems (Dagstuhl Seminar 98071). Ehrich, H-D., Goltz, U. & Meseguer, J. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 200. p. 12 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 1997

    Axiomatizing Flat Iteration

    van Glabbeek, R. J., 11 Jun 1997, CONCUR'97: Concurrency Theory - 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings. Mazurkiewicz, A. & Winkowski, J. (eds.). Springer, p. 228-242 15 p. (Lecture Notes in Computer Science; vol. 1243).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1996

    Petri Nets, Configuration Structures, Propositional Theories and History Preserving Process Graphs abstract)

    van Glabbeek, R. J., 3 Jul 1996, Semantics of Concurrent Systems---Foundations and Applications. Droste, M., Olderog, E-R., Steffen, B. & Winskel, G. (eds.). Postfach 15 11 50, D-66041 Saarbrücken, Germany: Schloss Dagstuhl International Conference and Research Center for Computer Science, Vol. 144. p. 14-15 2 p. (Dagstuhl-Seminar-Report; vol. 144).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • The Meaning of Negative Premises in Transition System Specifications II (extended abstract)

    van Glabbeek, R. J., 26 Jun 1996, Automata, Languages and Programming: 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings. Heide, F. M. A. D. & Monien, B. (eds.). Springer, Vol. 1099. p. 502-513 12 p. (Lecture Notes in Computer Science; vol. 1099).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1995

    Configuration Structures (extended abstract)

    van Glabbeek, R. J. & Plotkin, G. D., 29 Jun 1995, 10^th$ Annual IEEE Symposium on Logic in Computer Science, 5, San Diego, USA, June 1995. Kozen, D. (ed.). Institute of Electrical and Electronics Engineers, p. 199-209 11 p. (Annual Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1994

    On the expressiveness of ACP (extended abstract)

    van Glabbeek, R. J., 30 Nov 1994, Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994. Ponse, A., Verhoef, C. & Vlijmen, S. F. M. V. (eds.). Springer, p. 188-217 30 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Axiomatising ST-bisimulation equivalence

    Busi, N., van Glabbeek, R. J. & Gorrieri, R., 6 Jun 1994, Programming Concepts, Methods and Calculi: Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi (PROCOMET '94), San Miniato, Italy, 6-10 June 1994. Olderog, E-R. (ed.). North-Holland Publishing Company, p. 169-188 20 p. (IFIP Transactions A-56).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1993

    Full Abstraction in Structural Operational Semantics (extended abstract)

    van Glabbeek, R. J., 17 Dec 1993, Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993. Nivat, M., Rattray, C., Rus, T. & Scollo, G. (eds.). Springer, p. 75-82 8 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A complete axiomatization for branching bisimulation congruence of finite-state behaviours

    van Glabbeek, R. J., 18 Aug 1993, Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS’93, Gdańsk, Poland, August 30–September 3, 1993 Proceedings. Borzyszkowski, A. M. & Sokołowski, S. (eds.). Springer, Vol. 711. p. 473-484 12 p. (Lecture Notes in Computer Science; vol. 711).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The Linear Time -- Branching Time Spectrum II; The semantics of sequential systems with silent moves (extended abstract)

    van Glabbeek, R. J., 13 Aug 1993, CONCUR'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings. Best, E. (ed.). Springer, Vol. 715. p. 66-81 16 p. (Lecture Notes in Computer Science; vol. 715).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1991

    A Deadlock-sensitive Congruence for Action Refinement abstract)

    van Glabbeek, R. J. & Goltz, U., 8 Mar 1991, Proceedings 3rd Workshop on Concurrency and Compositionality, Goslar, March 5-8, 1991. Best, E. & Rozenberg, G. (eds.). Sankt Augustin, Germany: Gesellschaft für Mathematik und Datenverarbeitung, p. 113-116 4 p. (GMD-Studien Nr.91).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1990

    Equivalences and Refinement

    van Glabbeek, R. J. & Goltz, U., 28 Nov 1990, Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings. Guessarian, I. (ed.). Springer, Vol. 469. p. 309-333 25 p. (Lecture Notes in Computer Science; vol. 469).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The Linear Time -- Branching Time Spectrum (extended abstract)

    van Glabbeek, R. J., 15 Aug 1990, CONCUR '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension. Baeten, J. C. M. & Klop, J. W. (eds.). Springer, Vol. 458. p. 278-297 20 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Reactive, generative, and stratified models of probabilistic processes

    van Glabbeek, R. J., Smolka, S. A., Steffen, B. & Tofts, C. M. N., 7 Jun 1990, Proceedings of the Fifth Annual Symposium on Logic in Computer Science, 1990. IEEE Computer Society Press, p. 130-141 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Refinement of actions in causality based models

    van Glabbeek, R. J. & Goltz, U., 25 Apr 1990, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings. Bakker, J. W. D., Roever, W. P. D. & Rozenberg, G. (eds.). Springer, Vol. 430. p. 267-300 34 p. (Lecture Notes in Computer Science; vol. 430).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The refinement theorem for ST-bisimulation semantics

    van Glabbeek, R. J., 5 Apr 1990, Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990. Broy, M. & Jones, C. B. (eds.). North-Holland Publishing Company, p. 27-52 26 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1989

    Modular specifications in process algebra---with curious queues (extended abstract)

    van Glabbeek, R. J. & Vaandrager, F. W., 20 Sept 1989, Algebraic Methods: Theory, Tools and Applications. Wirsing, M. & Bergstra, J. A. (eds.). Springer, Vol. 394. p. 465-506 42 p. (Lecture Notes in Computer Science; vol. 394).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Branching Time and Abstraction in Bisimulation Semantics (extended abstract)

    van Glabbeek, R. J. & Weijland, W. P., 1 Sept 1989, Information Processing 89, 11th World Computer Congress, San Francisco 1989. Ritter, G. X. (ed.). North-Holland Publishing Company, p. 613-618 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Equivalence notions for concurrent systems and refinement of actions (extended abstract)

    van Glabbeek, R. J. & Goltz, U., 9 Aug 1989, Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings. Kreczmar, A. & Mirkowska, G. (eds.). Springer, Vol. 379. p. 237-248 12 p. (Lecture Notes in Computer Science; vol. 379).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1987

    Merge and termination in process algebra

    Baeten, J. C. M. & van Glabbeek, R. J., 25 Nov 1987, Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Proceedings. Nori, K. V. (ed.). Springer, Vol. 287. p. 153-172 20 p. (Lecture Notes in Computer Science; vol. 287).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Another look at abstraction in process algebra (extended abstract)

    Baeten, J. C. M. & van Glabbeek, R. J., 8 Jul 1987, Automata, Languages and Programming: 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings. Ottmann, T. (ed.). Springer, Vol. 267. p. 84-94 11 p. (Lecture Notes in Computer Science; vol. 267).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Petri net models for algebraic theories of concurrency (extended abstract)

    van Glabbeek, R. J. & Vaandrager, F. W., 1 May 1987, PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings. Bakker, J. W. D., Nijman, A. J. & Treleaven, P. C. (eds.). Springer, Vol. 259. p. 224-242 19 p. (Lecture Notes in Computer Science; vol. 259).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Bounded nondeterminism and the approximation induction principle in process algebra (extended abstract)

    van Glabbeek, R. J., 11 Feb 1987, STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987. Brandenburg, F. J., Vidal-Naquet, G. & Wirsing, M. (eds.). Springer, Vol. 247. p. 336-347 12 p. (Lecture Notes in Computer Science; vol. 247).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution