×

van Glabbeek, Robert Jan

Author ID: van-glabbeek.robert-jan Recent zbMATH articles by "van Glabbeek, Robert Jan"
Published as: van Glabbeek, Rob; van Glabbeek, Rob J.; van Glabbeek, R. J.; Van Glabbeek, Rob; van Glabbeek, Robert J.; van Glabbeek, Robert Jan; Van Glabbeek, Robert Jan; van Glabbeek, R. J. H.; Van Glabbeek, R. J.; Glabbeek, Rob van; van Glabbeek, R.
Homepage: http://theory.stanford.edu/~rvg/
External Links: MGP · Google Scholar
Documents Indexed: 107 Publications since 1987, including 1 Book
6 Contributions as Editor
Biographic References: 4 Publications
Co-Authors: 50 Co-Authors with 77 Joint Publications
1,104 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

99 Publications have been cited 1,437 times in 799 Documents Cited by Year
Branching time and abstraction in bisimulation semantics. Zbl 0882.68085
van Glabbeek, Rob J.; Weijland, W. Peter
187
1996
The linear time – branching time spectrum. I: The semantics of concrete, sequential processes. Zbl 1035.68073
van Glabbeek, R. J.
158
2001
Reactive, generative, and stratified models of probabilistic processes. Zbl 0832.68042
van Glabbeek, Rob J.; Smolka, Scott A.; Steffen, Bernhard
92
1995
Equivalence notions for concurrent systems and refinement of actions. Zbl 0755.68095
van Glabbeek, Rob; Goltz, Ursula
58
1989
Refinement of actions and equivalence notions for concurrent systems. Zbl 0969.68081
van Glabbeek, Rob; Goltz, Ursula
55
2001
Petri net models for algebraic theories of concurrency. Zbl 0633.68054
van Glabbeek, Rob; Vaandrager, Frits
53
1987
Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035
Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C.
39
2008
Configuration structures, event structures and Petri nets. Zbl 1187.68329
Van Glabbeek, R. J.; Plotkin, G. D.
35
2009
\(Ntyft/ntyxt\) rules reduce to \(n\)tree rules. Zbl 0853.68124
Fokkink, Wan; Van Glabbeek, Rob
29
1996
Branching bisimilarity with explicit divergence. Zbl 1183.68404
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
29
2009
Testing finitary probabilistic processes (extended abstract). Zbl 1254.68166
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
26
2009
The meaning of negative premises in transition system specifications. II. Zbl 1072.68075
van Glabbeek, R. J.
25
2004
On the expressiveness of higher dimensional automata. Zbl 1092.68071
van Glabbeek, R. J.
24
2006
A process algebra for wireless mesh networks. Zbl 1352.68183
Fehnker, Ansgar; van Glabbeek, Rob; Höfner, Peter; McIver, Annabelle; Portmann, Marius; Tan, Wee Lum
24
2012
Precongruence formats for decorated trace semantics. Zbl 1367.68209
Bloom, Bard; Fokkink, Wan; van Glabbeek, Rob J.
24
2004
Bounded nondeterminism and the approximation induction principle in process algebra. Zbl 0612.68025
van Glabbeek, R. J.
23
1987
Compositionality of Hennessy-Milner logic by structural operational semantics. Zbl 1088.68094
Fokkink, Wan; van Glabbeek, Rob; de Wind, Paulien
20
2006
The difference between splitting in \(n\) and \(n+1\). Zbl 0889.68055
van Glabbeek, Rob; Vaandrager, Frits
17
1997
Axiomatizing prefix iteration with silent steps. Zbl 0855.68030
Aceto, Luca; van Glabbeek, Rob; Fokkink, Wan; Ingólfsdóttir, Anna
17
1996
Proof nets for unit-free multiplicative-additive linear logic. Zbl 1367.03111
Hughes, Dominic J. D.; van Glabbeek, Rob J.
17
2005
The individual and collective token interpretations of Petri nets. Zbl 1134.68459
van Glabbeek, Robert Jan
15
2005
CCS: it’s not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Zbl 1327.68171
van Glabbeek, Rob J.; Höfner, Peter
15
2015
Erratum to “On the expressiveness of higher dimensional automata”. Zbl 1171.68582
van Glabbeek, R. J.
14
2006
Five determinisation algorithms. Zbl 1172.68535
van Glabbeek, Rob; Ploeger, Bas
14
2008
Another look at abstraction in process algebra (extended abstract). Zbl 0623.68023
Baeten, J. C. M.; van Glabbeek, R. J.
14
1987
Computation tree logic with deadlock detection. Zbl 1200.68166
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
13
2009
Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity. Zbl 1277.68182
Fokkink, Wan; van Glabbeek, Rob; de Wind, Paulien
13
2012
The meaning of negative premises in transition system specifications. II. (Extended abstract). Zbl 1046.68629
van Glabbeek, R. J.
13
1996
On cool congruence formats for weak bisimulations. Zbl 1216.68199
van Glabbeek, R. J.
12
2011
Structure preserving bisimilarity, supporting an operational Petri net semantics of CCSP. Zbl 1444.68125
van Glabbeek, Rob J.
12
2015
Musings on encodings and expressiveness. Zbl 1459.68149
van Glabbeek, Rob
12
2012
Merge and termination in process algebra. Zbl 0636.68024
Baeten, J. C. M.; van Glabbeek, R. J.
11
1987
Comparative concurrency semantics and refinement of actions. Collaborat. by Frits Vaandrager, Peter Weijland, Ursula Goltz. Zbl 0908.68100
van Glabbeek, R. J. H.
11
1996
On characterising distributability. Zbl 1274.68261
van Glabbeek, Rob J.; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard
11
2013
Remarks on testing probabilistic processes. Zbl 1277.68121
Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi
11
2007
Characterising probabilistic processes logically (extended abstract). Zbl 1306.68122
Deng, Yuxin; van Glabbeek, Rob
11
2010
Nested semantics over finite trees are equationally hard. Zbl 1101.68690
Aceto, Luca; Fokkink, Wan; van Glabbeek, Rob; Ingólfsdóttir, Anna
10
2004
What is branching time semantics and why to use it? Zbl 0810.68093
van Glabbeek, R. J.
10
1994
Correcting a space-efficient simulation algorithm. Zbl 1155.68450
van Glabbeek, Rob; Ploeger, Bas
10
2008
Abstract processes of place/transition systems. Zbl 1260.68282
van Glabbeek, Rob J.; Goltz, Ursula; Schicke, Jens-Wolfhard
10
2011
Scalar outcomes suffice for finitary probabilistic testing. Zbl 1187.68148
Deng, Yuxin; van Glabbeek, Rob; Morgan, Carroll; Zhang, Chenyi
8
2007
Divide and congruence. II: Delay and weak bisimilarity. Zbl 1392.68299
Fokkink, Wan; van Glabbeek, Rob
8
2016
On distributability of Petri nets (extended abstract). Zbl 1352.68192
van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard
8
2012
Analysing mutual exclusion using process algebra with signals. Zbl 1483.68227
Dyseryn, Victor; van Glabbeek, Rob; Höfner, Peter
8
2017
Analysing and comparing encodability criteria. Zbl 1476.68181
Peters, Kirstin; van Glabbeek, Rob
8
2015
The coarsest precongruences respecting safety and liveness properties. Zbl 1202.68268
Van Glabbeek, Robert Jan
8
2010
Divide and congruence: from decomposition of modalities to preservation of branching bisimulation. Zbl 1196.68156
Fokkink, Wan; van Glabbeek, Rob; de Wind, Paulien
7
2006
Bundle event structures and CCSP. Zbl 1274.68262
van Glabbeek, Rob; Vaandrager, Frits
7
2003
Event structures for resolvable conflict. Zbl 1096.68114
van Glabbeek, Rob; Plotkin, Gordon
7
2004
A characterisation of weak bisimulation congruence. Zbl 1171.68583
van Glabbeek, Rob
7
2005
Ensuring liveness properties of distributed systems: open problems. Zbl 1435.68216
van Glabbeek, Rob
7
2019
Justness. A completeness criterion for capturing liveness properties (extended abstract). Zbl 1524.68223
van Glabbeek, Rob
7
2019
Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence. Zbl 1430.68162
Fokkink, Wan; van Glabbeek, Rob; Luttik, Bas
7
2019
Modelling and verifying the AODV routing protocol. Zbl 1386.68019
van Glabbeek, Rob; Höfner, Peter; Portmann, Marius; Tan, Wee Lum
7
2016
A theory of encodings and expressiveness (extended abstract). Zbl 1504.68125
van Glabbeek, Rob
7
2018
Modular specification of process algebras. Zbl 0770.68092
van Glabbeek, Rob; Vaandrager, Frits
6
1993
On causal semantics of Petri nets (extended abstract). Zbl 1343.68179
van Glabbeek, Rob J.; Goltz, Ursula; Schicke, Jens-Wolfhard
6
2011
Notes on the methodology of CCS and CSP. Zbl 0901.68067
van Glabbeek, R. J.
6
1997
Well-behaved flow event structures for parallel composition and action refinement. Zbl 1068.68095
van Glabbeek, Rob; Goltz, Ursula
6
2004
On cool congruence formats for weak bisimulations (extended abstract). Zbl 1169.68557
van Glabbeek, Robert Jan
6
2005
Ready to preorder: the case of weak process semantics. Zbl 1191.68434
Chen, Taolue; Fokkink, Wan; van Glabbeek, Rob
5
2009
Compositionality of Hennessy-Milner logic through structural operational semantics. Zbl 1278.68169
Fokkink, Wan; Glabbeek, Rob van; Wind, Paulien de
5
2003
A timed process algebra for wireless networks with an application in routing (extended abstract). Zbl 1335.68005
Bres, Emile; van Glabbeek, Rob; Höfner, Peter
5
2016
Divide and congruence applied to \(\eta\)-bisimulation. Zbl 1273.68257
Fokkink, Wan; van Glabbeek, Rob; de Wind, Paulien
5
2006
Failure trace semantics for a process algebra with time-outs. Zbl 07350777
van Glabbeek, Rob
5
2021
Divide and congruence. III: Stability & divergence. Zbl 1442.68139
Fokkink, Wan; van Glabbeek, Rob; Luttik, Bas
5
2017
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101
Fischer, Nick; van Glabbeek, Rob
5
2019
Abstraction and empty process in process algebra. Zbl 0682.68024
Baeten, J. C. M.; van Glabbeek, R. J.
4
1989
Liveness, fairness and impossible futures. Zbl 1151.68560
van Glabbeek, Rob; Voorhoeve, Marc
4
2006
On synchronous and asynchronous interaction in distributed systems. Zbl 1173.68585
van Glabbeek, Rob; Goltz, Ursula; Schicke, Jens-Wolfhard
4
2008
A mechanized proof of loop freedom of the (untimed) AODV routing protocol. Zbl 1448.68051
Bourke, Timothy; van Glabbeek, Rob; Höfner, Peter
4
2014
On the expressiveness of higher dimensional automata (extended abstract). Zbl 1272.68324
van Glabbeek, R. J.
4
2005
On the axiomatizability of impossible futures. Zbl 1448.68335
Chen, Taolue; Fokkink, Wan; van Glabbeek, Rob
3
2015
Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. Zbl 1380.68295
Fokkink, Wan; van Glabbeek, Rob
3
2017
On specifying timeouts. Zbl 1316.68109
Van Glabbeek, Rob
3
2006
Rooted divergence-preserving branching bisimilarity is a congruence. Zbl 1525.68087
van Glabbeek, Rob; Luttik, Bas; Spaninks, Linda
3
2020
Precongruence formats with lookahead through modal decomposition. Zbl 1440.68168
Fokkink, Wan; van Glabbeek, Rob J.
3
2017
On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus. Zbl 1390.68490
van Glabbeek, Rob J.
3
2018
What is branching time semantics and why to use it? Zbl 1049.68096
van Glabbeek, Rob J.
2
2001
Symmetric and asymmetric asynchronous interaction. Zbl 1291.68291
van Glabbeek, Rob; Goltz, Ursula; Schicke, Jens-Wolfhard
2
2009
Showing invariance compositionally for a process algebra for network protocols. Zbl 1416.68153
Bourke, Timothy; van Glabbeek, Robert J.; Höfner, Peter
2
2014
Mechanizing a process algebra for network protocols. Zbl 1356.68182
Bourke, Timothy; van Glabbeek, Robert J.; Höfner, Peter
2
2016
Special issue on “Combining compositionality and concurrency”. I. Zbl 1315.00129
2
2015
Reactive temporal logic. Zbl 07453963
van Glabbeek, Rob
2
2020
Lean and full congruence formats for recursion. Zbl 1458.68134
van Glabbeek, Rob
2
2017
Reactive bisimulation semantics for a process algebra with time-outs. Zbl 07559462
van Glabbeek, Rob
2
2020
A branching time model of CSP. Zbl 1485.68166
van Glabbeek, Rob
1
2017
Token-controlled place refinement in hierarchical Petri nets with application to active document workflow. Zbl 1047.68610
Stork, David G.; van Glabbeek, Rob
1
2002
On finite bases for weak semantics: failures versus impossible futures. Zbl 1206.68212
Chen, Taolue; Fokkink, Wan; van Glabbeek, Rob
1
2009
Special issue on “Combining compositionality and concurrency”. II. Zbl 1315.00128
1
2015
Abstract processes and conflicts in place/transition systems. Zbl 1518.68239
van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard
1
2021
30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Zbl 1423.68023
1
2019
Comparing the expressiveness of the \(\pi \)-calculus and CCS. Zbl 1528.68258
van Glabbeek, Rob
1
2022
Enabling preserving bisimulation equivalence. Zbl 07730635
van Glabbeek, Rob; Höfner, Peter; Wang, Weiyou
1
2021
Real-reward testing for probabilistic processes. Zbl 1359.68218
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
1
2014
On CSP and the algebraic theory of effects. Zbl 1215.68160
Van Glabbeek, Rob; Plotkin, Gordon
1
2010
Axiomatizing flat iteration. Zbl 1512.68175
van Glabbeek, R. J.
1
1997
Real-reward testing for probabilistic processes (extended abstract). Zbl 1457.68187
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
1
2011
Modelling mutual exclusion in a process algebra with time-outs. Zbl 07742410
van Glabbeek, Rob
1
2023
Modelling mutual exclusion in a process algebra with time-outs. Zbl 07742410
van Glabbeek, Rob
1
2023
Comparing the expressiveness of the \(\pi \)-calculus and CCS. Zbl 1528.68258
van Glabbeek, Rob
1
2022
Failure trace semantics for a process algebra with time-outs. Zbl 07350777
van Glabbeek, Rob
5
2021
Abstract processes and conflicts in place/transition systems. Zbl 1518.68239
van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard
1
2021
Enabling preserving bisimulation equivalence. Zbl 07730635
van Glabbeek, Rob; Höfner, Peter; Wang, Weiyou
1
2021
Rooted divergence-preserving branching bisimilarity is a congruence. Zbl 1525.68087
van Glabbeek, Rob; Luttik, Bas; Spaninks, Linda
3
2020
Reactive temporal logic. Zbl 07453963
van Glabbeek, Rob
2
2020
Reactive bisimulation semantics for a process algebra with time-outs. Zbl 07559462
van Glabbeek, Rob
2
2020
Ensuring liveness properties of distributed systems: open problems. Zbl 1435.68216
van Glabbeek, Rob
7
2019
Justness. A completeness criterion for capturing liveness properties (extended abstract). Zbl 1524.68223
van Glabbeek, Rob
7
2019
Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence. Zbl 1430.68162
Fokkink, Wan; van Glabbeek, Rob; Luttik, Bas
7
2019
Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. Zbl 1408.68101
Fischer, Nick; van Glabbeek, Rob
5
2019
30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Zbl 1423.68023
1
2019
A theory of encodings and expressiveness (extended abstract). Zbl 1504.68125
van Glabbeek, Rob
7
2018
On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus. Zbl 1390.68490
van Glabbeek, Rob J.
3
2018
Analysing mutual exclusion using process algebra with signals. Zbl 1483.68227
Dyseryn, Victor; van Glabbeek, Rob; Höfner, Peter
8
2017
Divide and congruence. III: Stability & divergence. Zbl 1442.68139
Fokkink, Wan; van Glabbeek, Rob; Luttik, Bas
5
2017
Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. Zbl 1380.68295
Fokkink, Wan; van Glabbeek, Rob
3
2017
Precongruence formats with lookahead through modal decomposition. Zbl 1440.68168
Fokkink, Wan; van Glabbeek, Rob J.
3
2017
Lean and full congruence formats for recursion. Zbl 1458.68134
van Glabbeek, Rob
2
2017
A branching time model of CSP. Zbl 1485.68166
van Glabbeek, Rob
1
2017
Divide and congruence. II: Delay and weak bisimilarity. Zbl 1392.68299
Fokkink, Wan; van Glabbeek, Rob
8
2016
Modelling and verifying the AODV routing protocol. Zbl 1386.68019
van Glabbeek, Rob; Höfner, Peter; Portmann, Marius; Tan, Wee Lum
7
2016
A timed process algebra for wireless networks with an application in routing (extended abstract). Zbl 1335.68005
Bres, Emile; van Glabbeek, Rob; Höfner, Peter
5
2016
Mechanizing a process algebra for network protocols. Zbl 1356.68182
Bourke, Timothy; van Glabbeek, Robert J.; Höfner, Peter
2
2016
CCS: it’s not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Zbl 1327.68171
van Glabbeek, Rob J.; Höfner, Peter
15
2015
Structure preserving bisimilarity, supporting an operational Petri net semantics of CCSP. Zbl 1444.68125
van Glabbeek, Rob J.
12
2015
Analysing and comparing encodability criteria. Zbl 1476.68181
Peters, Kirstin; van Glabbeek, Rob
8
2015
On the axiomatizability of impossible futures. Zbl 1448.68335
Chen, Taolue; Fokkink, Wan; van Glabbeek, Rob
3
2015
Special issue on “Combining compositionality and concurrency”. I. Zbl 1315.00129
2
2015
Special issue on “Combining compositionality and concurrency”. II. Zbl 1315.00128
1
2015
A mechanized proof of loop freedom of the (untimed) AODV routing protocol. Zbl 1448.68051
Bourke, Timothy; van Glabbeek, Rob; Höfner, Peter
4
2014
Showing invariance compositionally for a process algebra for network protocols. Zbl 1416.68153
Bourke, Timothy; van Glabbeek, Robert J.; Höfner, Peter
2
2014
Real-reward testing for probabilistic processes. Zbl 1359.68218
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
1
2014
On characterising distributability. Zbl 1274.68261
van Glabbeek, Rob J.; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard
11
2013
A process algebra for wireless mesh networks. Zbl 1352.68183
Fehnker, Ansgar; van Glabbeek, Rob; Höfner, Peter; McIver, Annabelle; Portmann, Marius; Tan, Wee Lum
24
2012
Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity. Zbl 1277.68182
Fokkink, Wan; van Glabbeek, Rob; de Wind, Paulien
13
2012
Musings on encodings and expressiveness. Zbl 1459.68149
van Glabbeek, Rob
12
2012
On distributability of Petri nets (extended abstract). Zbl 1352.68192
van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard
8
2012
On cool congruence formats for weak bisimulations. Zbl 1216.68199
van Glabbeek, R. J.
12
2011
Abstract processes of place/transition systems. Zbl 1260.68282
van Glabbeek, Rob J.; Goltz, Ursula; Schicke, Jens-Wolfhard
10
2011
On causal semantics of Petri nets (extended abstract). Zbl 1343.68179
van Glabbeek, Rob J.; Goltz, Ursula; Schicke, Jens-Wolfhard
6
2011
Real-reward testing for probabilistic processes (extended abstract). Zbl 1457.68187
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
1
2011
Characterising probabilistic processes logically (extended abstract). Zbl 1306.68122
Deng, Yuxin; van Glabbeek, Rob
11
2010
The coarsest precongruences respecting safety and liveness properties. Zbl 1202.68268
Van Glabbeek, Robert Jan
8
2010
On CSP and the algebraic theory of effects. Zbl 1215.68160
Van Glabbeek, Rob; Plotkin, Gordon
1
2010
Configuration structures, event structures and Petri nets. Zbl 1187.68329
Van Glabbeek, R. J.; Plotkin, G. D.
35
2009
Branching bisimilarity with explicit divergence. Zbl 1183.68404
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
29
2009
Testing finitary probabilistic processes (extended abstract). Zbl 1254.68166
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
26
2009
Computation tree logic with deadlock detection. Zbl 1200.68166
van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola
13
2009
Ready to preorder: the case of weak process semantics. Zbl 1191.68434
Chen, Taolue; Fokkink, Wan; van Glabbeek, Rob
5
2009
Symmetric and asymmetric asynchronous interaction. Zbl 1291.68291
van Glabbeek, Rob; Goltz, Ursula; Schicke, Jens-Wolfhard
2
2009
On finite bases for weak semantics: failures versus impossible futures. Zbl 1206.68212
Chen, Taolue; Fokkink, Wan; van Glabbeek, Rob
1
2009
Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035
Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C.
39
2008
Five determinisation algorithms. Zbl 1172.68535
van Glabbeek, Rob; Ploeger, Bas
14
2008
Correcting a space-efficient simulation algorithm. Zbl 1155.68450
van Glabbeek, Rob; Ploeger, Bas
10
2008
On synchronous and asynchronous interaction in distributed systems. Zbl 1173.68585
van Glabbeek, Rob; Goltz, Ursula; Schicke, Jens-Wolfhard
4
2008
Remarks on testing probabilistic processes. Zbl 1277.68121
Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi
11
2007
Scalar outcomes suffice for finitary probabilistic testing. Zbl 1187.68148
Deng, Yuxin; van Glabbeek, Rob; Morgan, Carroll; Zhang, Chenyi
8
2007
On the expressiveness of higher dimensional automata. Zbl 1092.68071
van Glabbeek, R. J.
24
2006
Compositionality of Hennessy-Milner logic by structural operational semantics. Zbl 1088.68094
Fokkink, Wan; van Glabbeek, Rob; de Wind, Paulien
20
2006
Erratum to “On the expressiveness of higher dimensional automata”. Zbl 1171.68582
van Glabbeek, R. J.
14
2006
Divide and congruence: from decomposition of modalities to preservation of branching bisimulation. Zbl 1196.68156
Fokkink, Wan; van Glabbeek, Rob; de Wind, Paulien
7
2006
Divide and congruence applied to \(\eta\)-bisimulation. Zbl 1273.68257
Fokkink, Wan; van Glabbeek, Rob; de Wind, Paulien
5
2006
Liveness, fairness and impossible futures. Zbl 1151.68560
van Glabbeek, Rob; Voorhoeve, Marc
4
2006
On specifying timeouts. Zbl 1316.68109
Van Glabbeek, Rob
3
2006
Proof nets for unit-free multiplicative-additive linear logic. Zbl 1367.03111
Hughes, Dominic J. D.; van Glabbeek, Rob J.
17
2005
The individual and collective token interpretations of Petri nets. Zbl 1134.68459
van Glabbeek, Robert Jan
15
2005
A characterisation of weak bisimulation congruence. Zbl 1171.68583
van Glabbeek, Rob
7
2005
On cool congruence formats for weak bisimulations (extended abstract). Zbl 1169.68557
van Glabbeek, Robert Jan
6
2005
On the expressiveness of higher dimensional automata (extended abstract). Zbl 1272.68324
van Glabbeek, R. J.
4
2005
The meaning of negative premises in transition system specifications. II. Zbl 1072.68075
van Glabbeek, R. J.
25
2004
Precongruence formats for decorated trace semantics. Zbl 1367.68209
Bloom, Bard; Fokkink, Wan; van Glabbeek, Rob J.
24
2004
Nested semantics over finite trees are equationally hard. Zbl 1101.68690
Aceto, Luca; Fokkink, Wan; van Glabbeek, Rob; Ingólfsdóttir, Anna
10
2004
Event structures for resolvable conflict. Zbl 1096.68114
van Glabbeek, Rob; Plotkin, Gordon
7
2004
Well-behaved flow event structures for parallel composition and action refinement. Zbl 1068.68095
van Glabbeek, Rob; Goltz, Ursula
6
2004
Bundle event structures and CCSP. Zbl 1274.68262
van Glabbeek, Rob; Vaandrager, Frits
7
2003
Compositionality of Hennessy-Milner logic through structural operational semantics. Zbl 1278.68169
Fokkink, Wan; Glabbeek, Rob van; Wind, Paulien de
5
2003
Token-controlled place refinement in hierarchical Petri nets with application to active document workflow. Zbl 1047.68610
Stork, David G.; van Glabbeek, Rob
1
2002
The linear time – branching time spectrum. I: The semantics of concrete, sequential processes. Zbl 1035.68073
van Glabbeek, R. J.
158
2001
Refinement of actions and equivalence notions for concurrent systems. Zbl 0969.68081
van Glabbeek, Rob; Goltz, Ursula
55
2001
What is branching time semantics and why to use it? Zbl 1049.68096
van Glabbeek, Rob J.
2
2001
The difference between splitting in \(n\) and \(n+1\). Zbl 0889.68055
van Glabbeek, Rob; Vaandrager, Frits
17
1997
Notes on the methodology of CCS and CSP. Zbl 0901.68067
van Glabbeek, R. J.
6
1997
Axiomatizing flat iteration. Zbl 1512.68175
van Glabbeek, R. J.
1
1997
Branching time and abstraction in bisimulation semantics. Zbl 0882.68085
van Glabbeek, Rob J.; Weijland, W. Peter
187
1996
\(Ntyft/ntyxt\) rules reduce to \(n\)tree rules. Zbl 0853.68124
Fokkink, Wan; Van Glabbeek, Rob
29
1996
Axiomatizing prefix iteration with silent steps. Zbl 0855.68030
Aceto, Luca; van Glabbeek, Rob; Fokkink, Wan; Ingólfsdóttir, Anna
17
1996
The meaning of negative premises in transition system specifications. II. (Extended abstract). Zbl 1046.68629
van Glabbeek, R. J.
13
1996
Comparative concurrency semantics and refinement of actions. Collaborat. by Frits Vaandrager, Peter Weijland, Ursula Goltz. Zbl 0908.68100
van Glabbeek, R. J. H.
11
1996
Reactive, generative, and stratified models of probabilistic processes. Zbl 0832.68042
van Glabbeek, Rob J.; Smolka, Scott A.; Steffen, Bernhard
92
1995
What is branching time semantics and why to use it? Zbl 0810.68093
van Glabbeek, R. J.
10
1994
Modular specification of process algebras. Zbl 0770.68092
van Glabbeek, Rob; Vaandrager, Frits
6
1993
Equivalence notions for concurrent systems and refinement of actions. Zbl 0755.68095
van Glabbeek, Rob; Goltz, Ursula
58
1989
Abstraction and empty process in process algebra. Zbl 0682.68024
Baeten, J. C. M.; van Glabbeek, R. J.
4
1989
Petri net models for algebraic theories of concurrency. Zbl 0633.68054
van Glabbeek, Rob; Vaandrager, Frits
53
1987
Bounded nondeterminism and the approximation induction principle in process algebra. Zbl 0612.68025
van Glabbeek, R. J.
23
1987
Another look at abstraction in process algebra (extended abstract). Zbl 0623.68023
Baeten, J. C. M.; van Glabbeek, R. J.
14
1987
Merge and termination in process algebra. Zbl 0636.68024
Baeten, J. C. M.; van Glabbeek, R. J.
11
1987
all top 5

Cited by 740 Authors

49 van Glabbeek, Robert Jan
31 Aceto, Luca
26 Ingólfsdóttir, Anna
24 Luttik, Bas
23 Fokkink, Willem Jan
21 Baeten, Jos C. M.
20 Tini, Simone
17 Bergstra, Jan A.
17 Bernardo, Marco
16 Gorrieri, Roberto
16 Groote, Jan Friso
14 Castiglioni, Valentina
14 Gregorio-Rodríguez, Carlos
13 de Frutos-Escrig, David
12 Deng, Yuxin
12 Fahrenberg, Uli
12 Raussen, Martin
11 Baldan, Paolo
11 Hermanns, Holger
11 Peters, Kirstin
11 Reniers, Michel Adriaan
11 Ulidowski, Irek
10 D’Argenio, Pedro Rubén
10 Johansen, Christian
10 Pinna, G. Michele
10 Willemse, Tim A. C.
9 De Nicola, Rocco
9 Goltz, Ursula
9 Hennessy, Matthew C. B.
9 Katoen, Joost-Pieter
9 Middelburg, Cornelis A.
9 Nestmann, Uwe
9 Ponse, Alban
8 de Vink, Erik P.
8 Fábregas, Ignacio
8 Jančar, Petr
8 Klin, Bartek
8 Legay, Axel
8 Loreti, Michele
8 Phillips, Iain W.
8 Sokolova, Ana
8 Vogler, Walter
7 Best, Eike
7 Boiten, Eerke A.
7 Bonchi, Filippo
7 Bravetti, Mario
7 Derrick, John
7 Fu, Yuxi
7 Höfner, Peter
7 Horne, Ross
7 Jansen, David N.
7 Kahl, Thomas
7 Lanotte, Ruggero
7 Montanari, Ugo G.
7 Silva, Alexandra
7 Zhang, Lijun
6 Chen, Taolue
6 Corradini, Flavio
6 Kucera, Antonin
6 Larsen, Kim Guldstrand
6 Majster-Cederbaum, Mila E.
6 Palomino, Miguel
6 Rutten, Jan J. M. M.
6 Sangiorgi, Davide
6 Ziemiański, Krzysztof
5 Andova, Suzana
5 Baier, Christel
5 Basten, Twan
5 Castellani, Ilaria
5 Devillers, Raymond
5 Fröschle, Sibylle B.
5 Garavel, Hubert
5 Gebler, Daniel E.
5 Gorla, Daniele
5 Hildebrandt, Thomas T.
5 Jagadeesan, Radha
5 Janicki, Ryszard
5 Lang, Frédéric
5 Lasota, Sławomir
5 Lüttgen, Gerald
5 Melgratti, Hernán
5 Merro, Massimo
5 Nielsen, Mogens
5 Nunez, Manuel A.
5 Ranzato, Francesco
5 Roscoe, Andrew William
5 Salvo, Ivano
5 Struth, Georg
5 Vaandrager, Frits W.
5 van de Pol, Jan Cornelis
5 Virbitskaite, Irina B.
4 Aubert, Clément
4 Bonsangue, Marcello Maria
4 Ćirić, Miroslav D.
4 Cristescu, Ioana Domnina
4 Cuijpers, Pieter J. L.
4 Di Pierro, Alessandra
4 Fecher, Harald
4 Georgievska, Sonja
4 Ghassemi, Fatemeh
...and 640 more Authors
all top 5

Cited in 58 Serials

158 Theoretical Computer Science
79 Information and Computation
41 Acta Informatica
34 Formal Aspects of Computing
31 Logical Methods in Computer Science
31 Journal of Logical and Algebraic Methods in Programming
28 The Journal of Logic and Algebraic Programming
22 Information Processing Letters
18 MSCS. Mathematical Structures in Computer Science
8 Journal of Computer and System Sciences
7 Programming and Computer Software
6 Science of Computer Programming
6 Formal Methods in System Design
5 ACM Transactions on Computational Logic
3 Information Sciences
3 Annals of Pure and Applied Logic
3 Journal of Automated Reasoning
3 Distributed Computing
3 Fundamenta Informaticae
3 Journal of Shanghai Jiaotong University (Science)
3 Journal of Applied and Computational Topology
2 Fuzzy Sets and Systems
2 Topology and its Applications
2 International Journal of Foundations of Computer Science
2 International Journal of Computer Mathematics
2 Applicable Algebra in Engineering, Communication and Computing
2 Journal of Applied Non-Classical Logics
2 Annals of Mathematics and Artificial Intelligence
2 Theory of Computing Systems
2 RAIRO. Theoretical Informatics and Applications
2 Algebraic & Geometric Topology
2 Journal of Homotopy and Related Structures
1 Artificial Intelligence
1 Computers & Mathematics with Applications
1 Computing
1 Journal of the Association for Computing Machinery
1 Journal of Pure and Applied Algebra
1 Notre Dame Journal of Formal Logic
1 Synthese
1 Advances in Applied Mathematics
1 Journal of Computer Science and Technology
1 Computational Geometry
1 Discrete Event Dynamic Systems
1 Archive for Mathematical Logic
1 Foundations of Computing and Decision Sciences
1 Applied Categorical Structures
1 Mathematical Problems in Engineering
1 European Journal of Control
1 Journal of the ACM
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Sādhanā
1 Journal of Applied Logic
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Science China. Information Sciences
1 RAIRO. Theoretical Informatics and Applications
1 Frontiers of Computer Science in China
1 Journal of Membrane Computing

Citations by Year