By Dr Rob van Glabbeek

Conference Papers

van Glabbeek RJ, 2004, 'On the Expressiveness of Higher Dimensional Automata: (Extended Abstract)', in Electronic Notes in Theoretical Computer Science, Elsevier BV, London, England, presented at EXPRESS 2004, London, England, 30 August 2004, http://www.sciencedirect.com/science/article/B75H1-4FW17DG-2/2/dc02332c27dc63ffb00f32b03bcb4efb

van Glabbeek R; Rittgen P, 1998, 'Scheduling algebra', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 278 - 292, http://dx.doi.org/10.1007/3-540-49253-4_21

van Glabbeek RJ, 1997, 'Axiomatizing flat iteration', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 228 - 242, http://dx.doi.org/10.1007/3-540-63141-0_16

van Glabbeek RJ, 1996, 'The meaning of negative premises in transition system specifications II', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 502 - 513, http://dx.doi.org/10.1007/3-540-61440-0_154

van Glabbeek RJ, 1993, 'A complete axiomatization for branching bisimulation congruence of finite-state behaviours', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 473 - 484, http://dx.doi.org/10.1007/3-540-57182-5_39

van Glabbeek RJ, 1993, 'The linear time - branching time spectrum II: The semantics of sequential systems with silent moves', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 66 - 81, http://dx.doi.org/10.1007/3-540-57208-2_6

van Glabbeek RJ; Goltz U, 1990, 'Equivalences and refinement', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 309 - 333, http://dx.doi.org/10.1007/3-540-53479-2_13

van Glabbeek R; Goltz U, 1990, 'Refinement of actions in causality based models', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 267 - 300, http://dx.doi.org/10.1007/3-540-52559-9_68

van Glabbeek RJ, 1990, 'The linear time-branching time spectrum', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 278 - 297, http://dx.doi.org/10.1007/BFb0039066

van Glabbeek R; Goltz U, 1989, 'Equivalence notions for concurrent systems and refinement of actions', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 237 - 248, http://dx.doi.org/10.1007/3-540-51486-4_71

van Glabbeek R; Vaandrager F, 1989, 'Modular specifications in process Algebra', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 465 - 506, http://dx.doi.org/10.1007/BFb0015049

Baeten JCM; van Glabbeek RJ, 1987, 'Another look at abstraction in process algebra: Extended abstract', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 84 - 94, http://dx.doi.org/10.1007/3-540-18088-5_8

van Glabbeek RJ, 1987, 'Bounded nondeterminism and the approximation induction principle in process algebra', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 336 - 347, http://dx.doi.org/10.1007/BFb0039617

Baeten JCM; van Glabbeek RJ, 1987, 'Merge and termination in process algebra', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 153 - 172, http://dx.doi.org/10.1007/3-540-18625-5_49

van Glabbeek R; Vaandrager F, 1987, 'Petri net models for algebraic theories of concurrency: Extended abstract', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 224 - 242, http://dx.doi.org/10.1007/3-540-17945-3_13

Van Glabbeek RJ; Plotkin GD, 'Configuration structures', in Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, IEEE, presented at Tenth Annual IEEE Symposium on Logic in Computer Science, http://dx.doi.org/10.1109/lics.1995.523257

Back to profile page