dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

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

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnsgar 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
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann: On Distributability of Petri Nets - (Extended Abstract). FoSSaCS 2012: 331-345
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnsgar 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
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan 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)
2011
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: On Causal Semantics of Petri Nets. CONCUR 2011: 43-59
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Real-Reward Testing for Probabilistic Processes (Extended Abstract) QAPL 2011: 61-73
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: Bisimulation. Encyclopedia of Parallel Computing 2011: 136-139
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Abstract Processes of Place/Transition Systems CoRR abs/1103.5916: (2011)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Abstract processes of place/transition systems. Inf. Process. Lett. 111(13): 626-633 (2011)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: On cool congruence formats for weak bisimulations. Theor. Comput. Sci. 412(28): 3283-3302 (2011)
2010
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: The Coarsest Precongruences Respecting Safety and Liveness Properties. IFIP TCS 2010: 32-52
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Rob J. van Glabbeek: Characterising Probabilistic Processes Logically - (Extended Abstract). LPAR (Yogyakarta) 2010: 278-293
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Rob J. van Glabbeek: Characterising Probabilistic Processes Logically CoRR abs/1007.5188: (2010)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Gordon D. Plotkin: On CSP and the Algebraic Theory of Effects CoRR abs/1007.5488: (2010)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: The Coarsest Precongruences Respecting Safety and Liveness Properties CoRR abs/1007.5491: (2010)
2009
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Testing Finitary Probabilistic Processes. CONCUR 2009: 274-288
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Wan Fokkink, Rob J. van Glabbeek: On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. SOFSEM 2009: 167-180
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Symmetric and Asymmetric Asynchronous Interaction CoRR abs/0901.0043: (2009)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: On Synchronous and Asynchronous Interaction in Distributed Systems CoRR abs/0901.0048: (2009)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Gordon D. Plotkin: Configuration Structures, Event Structures and Petri Nets CoRR abs/0912.4023: (2009)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Symmetric and Asymmetric Asynchronous Interaction. Electr. Notes Theor. Comput. Sci. 229(3): 77-95 (2009)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Bas Luttik, Nikola Trcka: Branching Bisimilarity with Explicit Divergence. Fundam. Inform. 93(4): 371-392 (2009)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Peter D. Mosses: Special issue on structural operational semantics. Inf. Comput. 207(2): 83-84 (2009)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Bas Luttik, Nikola Trcka: Computation Tree Logic with Deadlock Detection Logical Methods in Computer Science 5(4): (2009)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Gordon D. Plotkin: Configuration structures, event structures and Petri nets. Theor. Comput. Sci. 410(41): 4111-4159 (2009)
2008
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Bas Ploeger: Correcting a Space-Efficient Simulation Algorithm. CAV 2008: 517-529
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Bas Ploeger: Five Determinisation Algorithms. CIAA 2008: 161-170
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: On Synchronous and Asynchronous Interaction in Distributed Systems. MFCS 2008: 16-35
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan: Characterising Testing Preorders for Finite Probabilistic Processes CoRR abs/0810.3708: (2008)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Wan Fokkink, Rob J. van Glabbeek: On Finite Bases for Weak Semantics: Failures versus Impossible Futures CoRR abs/0810.4904: (2008)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Bas Luttik, Nikola Trcka: Branching Bisimilarity with Explicit Divergence CoRR abs/0812.3068: (2008)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTaolue Chen, Wan Fokkink, Rob J. van Glabbeek: Ready to preorder: The case of weak process semantics. Inf. Process. Lett. 109(2): 104-111 (2008)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Characterising Testing Preorders for Finite Probabilistic Processes. Logical Methods in Computer Science 4(4): (2008)
2007
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang: Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP 2007: 363-378
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang: Characterising Testing Preorders for Finite Probabilistic Processes. LICS 2007: 313-325
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin 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)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Peter D. Mosses: Preface. Electr. Notes Theor. Comput. Sci. 175(1): 1-2 (2007)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Matthew Hennessy: Preface. Electr. Notes Theor. Comput. Sci. 192(1): 1-3 (2007)
2006
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Marc Voorhoeve: Liveness, Fairness and Impossible Futures. CONCUR 2006: 126-141
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan 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)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: On Specifying Timeouts. Electr. Notes Theor. Comput. Sci. 162: 173-175 (2006)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan 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)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: On the expressiveness of higher dimensional automata. Theor. Comput. Sci. 356(3): 265-290 (2006)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob 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)
2005
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: The Individual and Collective Token Interpretations of Petri Nets. CONCUR 2005: 323-337
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. FMCO 2005: 195-218
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: On Cool Congruence Formats for Weak Bisimulations. ICTAC 2005: 318-333
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: A Characterisation of Weak Bisimulation Congruence. Processes, Terms and Cycles 2005: 26-39
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominic 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)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: On the Expressiveness of Higher Dimensional Automata: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 128(2): 5-34 (2005)
2004
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Gordon D. Plotkin: Event Structures for Resolvable Conflict. MFCS 2004: 550-561
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence formats for decorated trace semantics. ACM Trans. Comput. Log. 5(1): 26-78 (2004)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: The meaning of negative premises in transition system specifications II. J. Log. Algebr. Program. 60-61: 229-258 (2004)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob 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)
2003
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, David G. Stork: Query Nets: Interacting Workflow Modules That Ensure Global Termination. Business Process Management 2003: 184-199
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Frits W. Vaandrager: Bundle Event Structures and CCSP. CONCUR 2003: 57-71
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. FCT 2003: 412-422
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominic J. D. Hughes, Rob J. van Glabbeek: Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract). LICS 2003: 1-10
2002
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid G. Stork, Rob J. van Glabbeek: Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow. ICATPN 2002: 394-413
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence Formats for Decorated Trace Semantics CoRR cs.LO/0204039: (2002)
2001
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: What is Branching Time Semantics and Why to Use it? Current Trends in Theoretical Computer Science 2001: 469-479
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Ursula Goltz: Refinement of actions and equivalence notions for concurrent systems. Acta Inf. 37(4/5): 229-327 (2001)
2000
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence Formats for Decorated Trace Preorders. LICS 2000: 107-118
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCatuscia Palamidessi, Joachim Parrow, Rob J. van Glabbeek: Preface. Inf. Comput. 156(1-2): 1 (2000)
1999
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: Petri Nets, Configuration Structures and Higher Dimensional Automata. CONCUR 1999: 21-27
1998
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Peter Rittgen: Scheduling Algebra. AMAST 1998: 278-292
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: Axiomatizing Flat Iteration CoRR cs.LO/9810008: (1998)
1997
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: Axiomatizing Flat Iteration. CONCUR 1997: 228-242
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Frits W. Vaandrager: The Difference between Splitting in n and n+1. Inf. Comput. 136(2): 109-142 (1997)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: Notes on the Methodology of CCS and CSP. Theor. Comput. Sci. 177(2): 329-349 (1997)
1996
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: The Meaning of Negative Premises in Transition System Specifications II. ICALP 1996: 502-513
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWan Fokkink, Rob J. van Glabbeek: Ntyft/Ntyxt Rules Reduce to Ntree Rules. Inf. Comput. 126(1): 1-10 (1996)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Rob J. van Glabbeek, Wan Fokkink, Anna Ingólfsdóttir: Axiomatizing Prefix Iteration with Silent Steps. Inf. Comput. 127(1): 26-40 (1996)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, W. P. Weijland: Branching Time and Abstraction in Bisimulation Semantics. J. ACM 43(3): 555-600 (1996)
1995
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Gordon D. Plotkin: Configuration Structures LICS 1995: 199-209
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen: Reactive, Generative and Stratified Models of Probabilistic Processes Inf. Comput. 121(1): 59-80 (1995)
1994
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Rob J. van Glabbeek, Roberto Gorrieri: Axiomatising ST-Bisimulation Equivalence. PROCOMET 1994: 169-188
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: What is Branching time semantics and why to use it? Bulletin of the EATCS 53: 191-198 (1994)
1993
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: Full Abstraction in Structural Operational Semantics (Extended Abstract). AMAST 1993: 75-82
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: The Linear Time - Branching Time Spectrum II. CONCUR 1993: 66-81
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours. MFCS 1993: 473-484
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Frits W. Vaandrager: Modular Specification of Process Algebras. Theor. Comput. Sci. 113(2): 293-348 (1993)
1992
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngo 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: The Linear Time-Branching Time Spectrum (Extended Abstract). CONCUR 1990: 278-297
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts: Reactive, Generative, and Stratified Models of Probabilistic Processes LICS 1990: 130-141
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Ursula Goltz: Equivalences and Refinement. Semantics of Systems of Concurrent Processes 1990: 309-333
1989
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, W. P. Weijland: Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract). IFIP Congress 1989: 613-618
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Ursula Goltz: Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract). MFCS 1989: 237-248
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Ursula Goltz: Refinement of Actions in Causality Based Models. REX Workshop 1989: 267-300
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob 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)
1987
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Frits W. Vaandrager: Modular Specifications in Process Algebra with Curious Queues. Algebraic Methods 1987: 465-506
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Rob J. van Glabbeek: Merge and Termination in Process Algebra. FSTTCS 1987: 153-172
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Rob J. van Glabbeek: Another Look at Abstraction in Process Algebra (Extended Abstract). ICALP 1987: 84-94
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Frits W. Vaandrager: Petri Net Models for Algebraic Theories of Concurrency. PARLE (2) 1987: 224-242
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek: Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra. STACS 1987: 336-347

Coauthor Index

1Luca Aceto [23] [44]
2Jos C. M. Baeten [3] [4]
3Bard Bloom [33] [36] [45]
4Nadia Busi [19]
5Taolue Chen [65] [67] [80]
6Ingo Czaja [13]
7Yuxin Deng [61] [62] [63] [64] [68] [81] [84] [85] [91]
8Ansgar Fehnker [94] [96]
9Wan Fokkink [23] [24] [33] [36] [39] [44] [45] [51] [55] [57] [65] [67] [80] [93]
10Ursula Goltz [6] [7] [8] [10] [13] [34] [42] [69] [76] [78] [79] [88] [89] [92] [95]
11Roberto Gorrieri [19]
12Matthew Hennessy [59] [61] [62] [64] [68] [81] [91]
13Peter Höfner [94] [96]
14Dominic J. D. Hughes [38] [48]
15Anna Ingólfsdóttir [23] [44]
16Bas Luttik (S. P. Luttik) [66] [73] [75]
17Annabelle McIver (A. K. McIver) [94] [96]
18Carroll Morgan (Carroll C. Morgan) [61] [62] [63] [64] [68] [81] [91]
19Peter D. Mosses [60] [74]
20Catuscia Palamidessi [32]
21Joachim Parrow [32]
22Bas Ploeger [70] [71]
23Gordon D. Plotkin [21] [46] [72] [77] [83]
24Marius Portmann [94] [96]
25Peter Rittgen [30]
26Jens-Wolfhard Schicke (Jens-Wolfhard Schicke-Uffmann) [69] [76] [78] [79] [88] [89] [92] [95]
27Scott A. Smolka [11] [20]
28Bernhard Steffen [11] [20]
29David G. Stork [37] [41]
30Wee Lum Tan [94] [96]
31Chris M. N. Tofts [11]
32Nikola Trcka [66] [73] [75]
33Frits W. Vaandrager [2] [5] [14] [27] [40]
34Marc Voorhoeve [58]
35W. P. Weijland [9] [22]
36Paulien de Wind [39] [51] [55] [57] [93]
37Chenyi Zhang [61] [62] [63]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 31 18:55:10 2012 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