Rob van Glabbeek

Search results

• 1995

  Reactive, generative, and stratified models of probabilistic processes

  van Glabbeek, R. J., Smolka, S. A. & Steffen, B., 15 Aug 1995, In: Information and Computation. 121, 1, p. 59-80 22 p.

  Research output: Contribution to journal › Article › peer-review

  • Generative Model 100%
  • Probability Theory 100%
  • Operational Semantics 50%
  • Branching Structure 50%
  • Summation 25%

• 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

  • Configuration Structure 100%
  • Bisimulation 100%
  • Event Structure 60%
  • Petri Net 40%
  • Equivalence Relation 33%
• 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

  • Communication Function 100%
  • Renaming 50%
  • Sequential Composition 50%
  • Prefixing 50%

• 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

  • Operational Semantics 100%
  • Process Algebra 100%
  • Sequential Composition 100%
  • Parallel Composition 100%
• 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

  • Operational Semantics 100%
  • Transition System 100%
  • Linear Time 100%
  • Structural Approach 100%
  • System Specification 50%

• 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

  • Axiomatization 100%
  • Process Algebra 100%
  • Branching Process 100%
  • Inference System 50%
  • Parallel Composition 50%

• 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

  • Instantiation 100%
  • Branching Time 100%
  • Literature 50%
  • Action 50%
  • Realtime 50%

• Modular Specification of Process Algebras

  van Glabbeek, R. J. & Vaandrager, F. W., 7 Jun 1993, In: Theoretical Computer Science. 113, 2, p. 293-348 56 p.

  Research output: Contribution to journal › Article › peer-review

  • Process Algebra 100%
  • Logic Equation 50%
  • Subalgebra 25%
  • Conditionals 25%
  • Formal Proof 25%
• 1992

  Interleaving semantics and action refinement with atomic choice

  Czaja, I., van Glabbeek, R. J. & Goltz, U., 10 Jun 1992, Advances in Petri Nets 1992. Rozenberg, G. (ed.). Springer, Vol. 609. p. 89-107 19 p. (Lecture Notes in Computer Science; vol. 609).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Concurrent System 100%
• 1991

  Bisimulations for higher dimensional automata

  van Glabbeek, R. J., 7 Jul 1991, (Unpublished)

  Research output: Other contribution

• 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

  • Deadlock 100%
  • Event Structure 66%
  • Concurrent System 33%
  • Sequential Composition 33%
  • System Description 33%
• 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

  • Time Approach 100%
  • Linear Time 100%
  • Partial Order 100%
  • Multiset 50%
  • System Behavior 50%

• 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

  • Branching Time 100%
  • Linear Time 100%
  • Motivating Scenario 50%
  • Sequential Process 50%
  • Axiomatization 50%

• 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

  • Inference Rule 100%
  • Operational Semantics 100%
  • Specification Language 100%

• 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

  • Petri Net 100%
  • Event Structure 50%
  • Concurrent System 50%

• 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

  • Causal Structure 100%
  • Atomicity 100%
  • Concurrent System 100%

• Comparative Concurrency Semantics and Refinement of Actions

  van Glabbeek, R. J., 1990, Amsterdam. 281 p.

  Research output: Thesis › Doctoral Thesis

  Open Access
• 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

  • Process Algebra 100%
  • In-Process 100%
  • Concurrency 20%
  • Building-Blocks 20%
  • Concurrent System 20%

• 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

  • Branching Time 100%
  • Intermediate State 100%
  • Linear Time 100%
  • Branching Structure 66%
  • Concurrency 33%

• 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

  • Time Approach 100%
  • Linear Time 100%
  • Partial Order 100%
  • Concurrent System 100%
  • Multiset 50%

• Partial order semantics for refinement of actions---neither necessary nor always sufficient but appropriate when used with care

  van Glabbeek, R. J. & Goltz, U., 1 Jun 1989, In: Bulletin of the European Association for Theoretical Computer Science. 38, p. 154-163 10 p.

  Research output: Contribution to journal › Article › peer-review

  • Partial Order 100%
  • Concurrent System 33%
  • Abstract Level 33%
  • Equivalent Process 33%
  • Complex Process 33%

• Abstraction and empty process in process algebra

  Baeten, J. C. M. & van Glabbeek, R. J., 1 Apr 1989, In: Fundamenta Informaticae. 12, 2, p. 221-241 21 p.

  Research output: Contribution to journal › Article › peer-review

  • Process Algebra 100%
  • In-Process 100%

• Refinement in Branching Time Semantics

  van Glabbeek, R. J. & Weijland, W. P., 1 Apr 1989, J.W. de Bakker, 25 jaar semantiek: liber amicorum. Klop, J. W., Meijer, J. J. C. & Rutten, J. J. M. M. (eds.). CWI, p. 197-201 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

  • Branching Time 100%
  • Semantics 100%
  • Sequential Process 50%

• The processes of De Bakker and Zucker represent bisimulation equivalence classes

  van Glabbeek, R. J. & Rutten, J. J. M. M., 1 Apr 1989, J.W. de Bakker, 25 jaar semantiek: liber amicorum. Klop, J. W., Meijer, J. J. C. & Rutten, J. J. M. M. (eds.). Amsterdam: CWI, p. 243-246 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)
• 1988

  An operational non-interleaved process graph semantics of CCSP (abstract)

  van Glabbeek, R. J., 1 Mar 1988, p. 18-19. 2 p.

  Research output: Contribution to conference › Paper › peer-review

  • Concurrency 100%
  • Transition System 100%
  • Concurrent System 100%
  • System Description Language 100%

• Combining Compositionality and Concurrency, Summary of a GMD-Workshop, Königswinter, March 1988

  Olderog, E-R., Goltz, U. & van Glabbeek, R. J., Mar 1988.

  Research output: Contribution to conference › Other › peer-review

• An interpolation theorem in equational logic

  Rodenburg, P. H. & van Glabbeek, R. J., 1988, Amsterdam. 16 p.

  Research output: Book/Report › Other report

  Open Access

  • Interpolation Property 100%
• 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

  • Process Algebra 100%
  • In-Process 100%
  • Denotational Semantics 100%
  • Communicating Process 100%
  • Merge Operator 100%

• 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

  • Process Algebra 100%
  • Concurrency 100%
  • In-Process 100%
  • Verification System 100%
  • Communicating Process 100%

• 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

  • Concurrency 100%
  • Partial Order 100%
  • Petri Net 100%
  • Algebraic Theory 100%
  • Proof System 50%

• 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

  • Nondeterminism 100%
  • Process Algebra 100%
  • Commutativity 50%
  • Modulo 50%
  • Recursive Definition 50%
• 1985

  Good Coverings

  van Glabbeek, R. J., 1 Jan 1985, The Netherlands. 9 p.

  Research output: Book/Report › Other report

  Open Access