Rob J. van Glabbeek Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity. Inf. Comput. 214: 59-85 (2012)
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan: A Process Algebra for Wireless Mesh Networks. ESOP 2012: 295-315
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann: On Distributability of Petri Nets - (Extended Abstract). FoSSaCS 2012: 331-345
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker: A rigorous analysis of AODV and its variants. MSWiM 2012: 203-212
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan: Automated Analysis of AODV Using UPPAAL. TACAS 2012: 173-187
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: Musings on Encodings and Expressiveness. DCM 2012: 81-98
i13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann: On Distributability of Petri Nets. CoRR abs/1207.3597 (2012)
2011
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Abstract processes of place/transition systems. Inf. Process. Lett. 111(13): 626-633 (2011)
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: On cool congruence formats for weak bisimulations. Theor. Comput. Sci. 412(28): 3283-3302 (2011)
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: On Causal Semantics of Petri Nets. CONCUR 2011: 43-59
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Real-Reward Testing for Probabilistic Processes (Extended Abstract). QAPL 2011: 61-73
r1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: Bisimulation. Encyclopedia of Parallel Computing 2011: 136-139
i12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Abstract Processes of Place/Transition Systems. CoRR abs/1103.5916 (2011)
2010
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: The Coarsest Precongruences Respecting Safety and Liveness Properties. IFIP TCS 2010: 32-52
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuxin Deng, Rob J. van Glabbeek: Characterising Probabilistic Processes Logically - (Extended Abstract). LPAR (Yogyakarta) 2010: 278-293
i11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuxin Deng, Rob J. van Glabbeek: Characterising Probabilistic Processes Logically. CoRR abs/1007.5188 (2010)
i10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Gordon D. Plotkin: On CSP and the Algebraic Theory of Effects. CoRR abs/1007.5488 (2010)
i9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: The Coarsest Precongruences Respecting Safety and Liveness Properties. CoRR abs/1007.5491 (2010)
2009
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Bas Luttik, Nikola Trcka: Computation Tree Logic with Deadlock Detection. Logical Methods in Computer Science 5(4) (2009)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Symmetric and Asymmetric Asynchronous Interaction. Electr. Notes Theor. Comput. Sci. 229(3): 77-95 (2009)
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Bas Luttik, Nikola Trcka: Branching Bisimilarity with Explicit Divergence. Fundam. Inform. 93(4): 371-392 (2009)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Peter D. Mosses: Special issue on structural operational semantics. Inf. Comput. 207(2): 83-84 (2009)
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Gordon D. Plotkin: Configuration structures, event structures and Petri nets. Theor. Comput. Sci. 410(41): 4111-4159 (2009)
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Testing Finitary Probabilistic Processes. CONCUR 2009: 274-288
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Taolue Chen, Wan Fokkink, Rob J. van Glabbeek: On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. SOFSEM 2009: 167-180
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Symmetric and Asymmetric Asynchronous Interaction. CoRR abs/0901.0043 (2009)
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: On Synchronous and Asynchronous Interaction in Distributed Systems. CoRR abs/0901.0048 (2009)
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Gordon D. Plotkin: Configuration Structures, Event Structures and Petri Nets. CoRR abs/0912.4023 (2009)
2008
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Taolue Chen, Wan Fokkink, Rob J. van Glabbeek: Ready to preorder: The case of weak process semantics. Inf. Process. Lett. 109(2): 104-111 (2008)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Characterising Testing Preorders for Finite Probabilistic Processes. Logical Methods in Computer Science 4(4) (2008)
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Bas Ploeger: Correcting a Space-Efficient Simulation Algorithm. CAV 2008: 517-529
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: On Synchronous and Asynchronous Interaction in Distributed Systems. MFCS 2008: 16-35
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Bas Ploeger: Five Determinisation Algorithms. CIAA 2008: 161-170
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan: Characterising Testing Preorders for Finite Probabilistic Processes. CoRR abs/0810.3708 (2008)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Taolue Chen, Wan Fokkink, Rob J. van Glabbeek: On Finite Bases for Weak Semantics: Failures versus Impossible Futures. CoRR abs/0810.4904 (2008)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Bas Luttik, Nikola Trcka: Branching Bisimilarity with Explicit Divergence. CoRR abs/0812.3068 (2008)
2007
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang: Remarks on Testing Probabilistic Processes. Electr. Notes Theor. Comput. Sci. 172: 359-397 (2007)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Peter D. Mosses: Preface. Electr. Notes Theor. Comput. Sci. 175(1): 1-2 (2007)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Matthew Hennessy: Preface. Electr. Notes Theor. Comput. Sci. 192(1): 1-3 (2007)
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang: Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP 2007: 363-378
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang: Characterising Testing Preorders for Finite Probabilistic Processes. LICS 2007: 313-325
2006
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Divide and Congruence Applied to eta-Bisimulation. Electr. Notes Theor. Comput. Sci. 156(1): 97-113 (2006)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: On Specifying Timeouts. Electr. Notes Theor. Comput. Sci. 162: 173-175 (2006)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Compositionality of Hennessy-Milner logic by structural operational semantics. Theor. Comput. Sci. 354(3): 421-440 (2006)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: On the expressiveness of higher dimensional automata. Theor. Comput. Sci. 356(3): 265-290 (2006)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: Erratum to "On the expressiveness of higher dimensional automata": [TCS 356 (2006) 265-290]. Theor. Comput. Sci. 368(1-2): 168-194 (2006)
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Marc Voorhoeve: Liveness, Fairness and Impossible Futures. CONCUR 2006: 126-141
2005
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: On the Expressiveness of Higher Dimensional Automata: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 128(2): 5-34 (2005)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominic J. D. Hughes, Rob J. van Glabbeek: Proof nets for unit-free multiplicative-additive linear logic. ACM Trans. Comput. Log. 6(4): 784-842 (2005)
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: A Characterisation of Weak Bisimulation Congruence. Processes, Terms and Cycles 2005: 26-39
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: The Individual and Collective Token Interpretations of Petri Nets. CONCUR 2005: 323-337
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. FMCO 2005: 195-218
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: On Cool Congruence Formats for Weak Bisimulations. ICTAC 2005: 318-333
2004
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir: Nested semantics over finite trees are equationally hard. Inf. Comput. 191(2): 203-232 (2004)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: The meaning of negative premises in transition system specifications II. J. Log. Algebr. Program. 60-61: 229-258 (2004)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz: Well-behaved flow event structures for parallel composition and action refinement. Theor. Comput. Sci. 311(1-3): 463-478 (2004)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence formats for decorated trace semantics. ACM Trans. Comput. Log. 5(1): 26-78 (2004)
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Gordon D. Plotkin: Event Structures for Resolvable Conflict. MFCS 2004: 550-561
2003
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, David G. Stork: Query Nets: Interacting Workflow Modules That Ensure Global Termination. Business Process Management 2003: 184-199
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Frits W. Vaandrager: Bundle Event Structures and CCSP. CONCUR 2003: 57-71
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. FCT 2003: 412-422
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dominic J. D. Hughes, Rob J. van Glabbeek: Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract). LICS 2003: 1-10
2002
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David G. Stork, Rob J. van Glabbeek: Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow. ICATPN 2002: 394-413
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence Formats for Decorated Trace Semantics. CoRR cs.LO/0204039 (2002)
2001
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz: Refinement of actions and equivalence notions for concurrent systems. Acta Inf. 37(4/5): 229-327 (2001)
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: What is Branching Time Semantics and Why to Use it? Current Trends in Theoretical Computer Science 2001: 469-479
2000
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Catuscia Palamidessi, Joachim Parrow, Rob J. van Glabbeek: Preface. Inf. Comput. 156(1-2): 1 (2000)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence Formats for Decorated Trace Preorders. LICS 2000: 107-118
1999
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: Petri Nets, Configuration Structures and Higher Dimensional Automata. CONCUR 1999: 21-27
1998
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Peter Rittgen: Scheduling Algebra. AMAST 1998: 278-292
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: Axiomatizing Flat Iteration. CoRR cs.LO/9810008 (1998)
1997
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Frits W. Vaandrager: The Difference between Splitting in n and n+1. Inf. Comput. 136(2): 109-142 (1997)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: Notes on the Methodology of CCS and CSP. Theor. Comput. Sci. 177(2): 329-349 (1997)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: Axiomatizing Flat Iteration. CONCUR 1997: 228-242
1996
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wan Fokkink, Rob J. van Glabbeek: Ntyft/Ntyxt Rules Reduce to Ntree Rules. Inf. Comput. 126(1): 1-10 (1996)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Luca Aceto, Rob J. van Glabbeek, Wan Fokkink, Anna Ingólfsdóttir: Axiomatizing Prefix Iteration with Silent Steps. Inf. Comput. 127(1): 26-40 (1996)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, W. P. Weijland: Branching Time and Abstraction in Bisimulation Semantics. J. ACM 43(3): 555-600 (1996)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: The Meaning of Negative Premises in Transition System Specifications II. ICALP 1996: 502-513
1995
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen: Reactive, Generative and Stratified Models of Probabilistic Processes. Inf. Comput. 121(1): 59-80 (1995)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Gordon D. Plotkin: Configuration Structures. LICS 1995: 199-209
1994
j3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: What is Branching time semantics and why to use it? Bulletin of the EATCS 53: 191-198 (1994)
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri: Axiomatising ST-Bisimulation Equivalence. PROCOMET 1994: 169-188
1993
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Frits W. Vaandrager: Modular Specification of Process Algebras. Theor. Comput. Sci. 113(2): 293-348 (1993)
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: Full Abstraction in Structural Operational Semantics (Extended Abstract). AMAST 1993: 75-82
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: The Linear Time - Branching Time Spectrum II. CONCUR 1993: 66-81
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours. MFCS 1993: 473-484
1992
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ingo Czaja, Rob J. van Glabbeek, Ursula Goltz: Interleaving semantics and action refinement with atomic choice. Advances in Petri Nets: The DEMON Project 1992: 89-107
1990
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: The Linear Time-Branching Time Spectrum (Extended Abstract). CONCUR 1990: 278-297
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts: Reactive, Generative, and Stratified Models of Probabilistic Processes. LICS 1990: 130-141
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz: Equivalences and Refinement. Semantics of Systems of Concurrent Processes 1990: 309-333
1989
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz: Parial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care. Bulletin of the EATCS 38: 154-163 (1989)
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, W. P. Weijland: Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract). IFIP Congress 1989: 613-618
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz: Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract). MFCS 1989: 237-248
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Ursula Goltz: Refinement of Actions in Causality Based Models. REX Workshop 1989: 267-300
1987
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Frits W. Vaandrager: Modular Specifications in Process Algebra with Curious Queues. Algebraic Methods 1987: 465-506
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jos C. M. Baeten, Rob J. van Glabbeek: Merge and Termination in Process Algebra. FSTTCS 1987: 153-172
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jos C. M. Baeten, Rob J. van Glabbeek: Another Look at Abstraction in Process Algebra (Extended Abstract). ICALP 1987: 84-94
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek, Frits W. Vaandrager: Petri Net Models for Algebraic Theories of Concurrency. PARLE (2) 1987: 224-242
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rob J. van Glabbeek: Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra. STACS 1987: 336-347

Coauthor Index

1Luca Aceto
[j15] [j6]
2Jos C. M. Baeten
[c4] [c3]
3Bard Bloom
[j12] [i2] [c22]
4Nadia Busi
[c16]
5Taolue Chen
[c39] [j27] [i4]
6Ingo Czaja
[c12]
7Yuxin Deng
[c43] [c41] [i11] [c40] [j26] [i5] [j25] [c35] [c34]
8Ansgar Fehnker
[c49] [c47] [c46]
9Wan Fokkink
[j35] [c39] [j27] [i4] [j22] [j20] [c30] [j15] [j12] [c25] [i2] [c22] [j7] [j6]
10Ursula Goltz
[c48] [i13] [j34] [c44] [i12] [j31] [i8] [i7] [c37] [j13] [j11] [c12] [c9] [j1] [c7] [c6]
11Roberto Gorrieri
[c16]
12Matthew Hennessy
[c43] [c40] [j26] [i5] [j25] [j23] [c34]
13Dominic J. D. Hughes
[j16] [c24]
14Peter Höfner
[c49] [c47] [c46]
15Anna Ingólfsdóttir
[j15] [j6]
16Bas Luttik (S. P. Luttik)
[j32] [j30] [i3]
17Annabelle McIver (A. K. McIver)
[c49] [c47] [c46]
18Carroll Morgan (Carroll C. Morgan)
[c43] [c40] [j26] [i5] [j25] [c35] [c34]
19Peter D. Mosses
[j29] [j24]
20Catuscia Palamidessi
[j10]
21Joachim Parrow
[j10]
22Bas Ploeger
[c38] [c36]
23Gordon D. Plotkin
[i10] [j28] [i6] [c28] [c17]
24Marius Portmann
[c49] [c47] [c46]
25Peter Rittgen
[c20]
26Jens-Wolfhard Schicke (Jens-Wolfhard Schicke-Uffmann)
[c48] [i13] [j34] [c44] [i12] [j31] [i8] [i7] [c37]
27Scott A. Smolka
[j4] [c10]
28Bernhard Steffen
[j4] [c10]
29David G. Stork
[c27] [c23]
30Wee Lum Tan
[c49] [c47] [c46]
31Chris M. N. Tofts
[c10]
32Nikola Trcka
[j32] [j30] [i3]
33Frits W. Vaandrager
[c26] [j9] [j2] [c5] [c2]
34Marc Voorhoeve
[c33]
35W. P. Weijland
[j5] [c8]
36Paulien de Wind
[j35] [j22] [j20] [c30] [c25]
37Chenyi Zhang
[j25] [c35] [c34]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 07:37:01 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page