By Dr Rob van Glabbeek

Journal articles

Van Glabbeek RJ, 2004, 'The meaning of negative premises in transition system specifications II', Journal of Logic and Algebraic Programming, 60-61, pp. 229 - 258, http://dx.doi.org/10.1016/j.jlap.2004.03.007

Hughes D; Van Glabbeek R, 2003, 'Proof nets for unit-free multiplicative-additive linear logic', Proceedings - Symposium on Logic in Computer Science, pp. 1 - 10

Aceto L; Fokkink WJ; Glabbeek RJV; Ingólfsdóttir A, 2003, 'Nested Semantics over Finite Trees are Equationally Hard', BRICS Report Series, 10, http://dx.doi.org/10.7146/brics.v10i27.21795

Van Glabbeek R; Vaandrager F, 2003, 'Bundle event structures and CCSP', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2761, pp. 57 - 71, http://dx.doi.org/10.1007/978-3-540-45187-7_4

Fokkink W; Van Glabbeek R; De Wind P, 2003, 'Compositionality of Hennessy-Milner logic through structural operational semantics', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2751, pp. 412 - 422, http://dx.doi.org/10.1007/978-3-540-45077-1_38

Van Glabbeek RJ; Stork DG, 2003, 'Query nets: Interacting workflow modules that ensure global termination', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2678, pp. 184 - 199, http://dx.doi.org/10.1007/3-540-44895-0_13

Stork DG; Van Glabbeek R, 2002, 'Token-controlled place refinement in hierarchical petri nets with application to active document workflow', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2360 LNCS, pp. 394 - 413, http://dx.doi.org/10.1007/3-540-48068-4_23

Van Glabbeek R; Goltz U, 2001, 'Refinement of actions and equivalence notions for concurrent systems', Acta Informatica, 37, pp. 229 - 327, http://dx.doi.org/10.1007/s002360000041

Palamidessi C; Parrow J; Van Glabbeek R, 2000, 'Information and Computation: Preface', Information and Computation, 156, pp. 1, http://dx.doi.org/10.1006/inco.1999.2815

Bloom B; Fokkink W; Van Glabbeek R, 2000, 'Precongruence formats for decorated trace preorders', Proceedings - Symposium on Logic in Computer Science, pp. 107 - 118, http://dx.doi.org/10.1109/LICS.2000.855760

Van Glabbeek RJ, 1999, 'Petri nets, configuration structures, and higher dimensional automata', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1664 LNCS, pp. 21 - 27, http://dx.doi.org/10.1007/3-540-48320-9_3

Van Glabbeek R; Vaandrager F, 1997, 'The Difference between Splitting in n and n + 1', Information and Computation, 136, pp. 109 - 142, http://dx.doi.org/10.1006/inco.1997.2634

Van Glabbeek RJ, 1997, 'Notes on the methodology of CCS and CSP', Theoretical Computer Science, 177, pp. 329 - 349, http://dx.doi.org/10.1016/S0304-3975(96)00251-4

Aceto L; Van Glabbeek R; Fokkink W; Ingólfsdóttir A, 1996, 'Axiomatizing Prefix Iteration with Silent Steps', Information and Computation, 127, pp. 26 - 40, http://dx.doi.org/10.1006/inco.1996.0047

Fokkink W; Van Glabbeek R, 1996, 'Ntyft/ntyxt Rules Reduce to Ntree Rules', Information and Computation, 126, pp. 1 - 10, http://dx.doi.org/10.1006/inco.1996.0030

Van Glabbeek RJ; Weijland WP, 1996, 'Branching time and abstraction in bisimulation semantics', Journal of the ACM, 43, pp. 555 - 600, http://dx.doi.org/10.1145/233551.233556

Aceto L; Fokkink WJ; Glabbeek RJV; Ingólfsdóttir A, 1995, 'Axiomatizing Prefix Iteration with Silent Steps', BRICS Report Series, 2, http://dx.doi.org/10.7146/brics.v2i56.19957

van Glabbeek RJ; Plotkin GD, 1995, 'Configuration structures (extended abstract)', Proceedings - Symposium on Logic in Computer Science, pp. 199 - 209

van Glabbeek R; Vaandrager F, 1993, 'Modular specification of process algebras', Theoretical Computer Science, 113, pp. 293 - 348, http://dx.doi.org/10.1016/0304-3975(93)90006-F

van Glabbeek R; Smolka SA; Steffen B; Tofts CMN, 1990, 'Reactive, generative, and stratified models of probabilistic processes', Proceedings - Symposium on Logic in Computer Science, pp. 130 - 141

Baeten JCM; Van Glabbeek RJ, 1989, 'Abstraction and Empty Process in Process Algebra1', Fundamenta Informaticae, 12, pp. 221 - 241, http://dx.doi.org/10.3233/fi-1989-12208

Back to profile page