Edit Profile (opens in new tab) van Glabbeek, Robert Jan Co-Author Distance Author ID: 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. more...less 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 all top 5 Co-Authors 36 single-authored 18 Fokkink, Willem Jan 13 Goltz, Ursula 12 Höfner, Peter 7 Deng, Yuxin 6 Hennessy, Matthew C. B. 6 Morgan, Carroll C. 5 de Wind, Paulien 5 Luttik, Bas 4 Schicke-Uffmann, Jens-Wolfhard 4 Schicke, Jens-Wolfhard 4 Vaandrager, Frits W. 3 Baeten, Jos C. M. 3 Bourke, Timothy 3 Chen, Taolue 3 Plotkin, Gordon D. 2 Aceto, Luca 2 Ingólfsdóttir, Anna 2 Olderog, Ernst-Rüdiger 2 Ploeger, Bas 2 Portmann, Marius 2 Tan, Wee Lum 2 Trčka, Nikola 2 Zhang, Chenyi 1 Aliseda, Atocha 1 Bertrand, Nathalie 1 Bloom, Bard 1 Bres, Emile 1 de Alfaro, Luca 1 Dyseryn, Victor 1 Fehnker, Ansgar 1 Fischer, Nick 1 Gramoli, Vincent 1 Hayes, Ian J. 1 Hughes, Dominic J. D. 1 Markl, Michael 1 McIver, Annabelle K. 1 Mosses, Peter D. 1 Palamidessi, Catuscia 1 Peters, Kirstin 1 Smolka, Scott A. 1 Spaninks, Linda 1 Steffen, Bernhard 1 Stork, David G. 1 Tholoniat, Pierre 1 van der Wal, Djurre 1 Voorhoeve, Marc 1 Wang, Weiyou 1 Weijland, W. Peter 1 Westerståhl, Dag 1 Yoshida, Nobuko all top 5 Serials 11 Information and Computation 9 Theoretical Computer Science 6 Logical Methods in Computer Science 5 Acta Informatica 3 Information Processing Letters 3 ACM Transactions on Computational Logic 2 Distributed Computing 2 Electronic Notes in Theoretical Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Annales Societatis Mathematicae Polonae. Series IV 1 Journal of Automated Reasoning 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Formal Aspects of Computing 1 Journal of the ACM 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming 1 CSLI Lecture Notes 1 CWI Tracts 1 LIPIcs – Leibniz International Proceedings in Informatics Fields 112 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 6 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 20 Fields 774 Computer science (68-XX) 131 Mathematical logic and foundations (03-XX) 21 Category theory; homological algebra (18-XX) 16 Algebraic topology (55-XX) 16 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 Probability theory and stochastic processes (60-XX) 7 Systems theory; control (93-XX) 6 General algebraic systems (08-XX) 6 Information and communication theory, circuits (94-XX) 4 History and biography (01-XX) 4 Biology and other natural sciences (92-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 Combinatorics (05-XX) 2 General topology (54-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Quantum theory (81-XX) Citations by Year