Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Rob J. van
    Last name: Glabbeek
    DBLP: g/RobJvanGlabbeek
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 100 of 132  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Rob J. van Glabbeek.
    A Branching Time Model of CSP.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Timothy Bourke, Rob J. van Glabbeek, Peter Höfner.
    Mechanizing a Process Algebra for Network Protocols.
    J. Autom. Reasoning 2016, Volume 56 (0) 2016
    Conference paper
    Emile Bres, Rob J. van Glabbeek, Peter Höfner.
    A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract).
    Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings 2016 (0) 2016
    Journal article
    Wan Fokkink, Rob J. van Glabbeek.
    Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Emile Bres, Rob J. van Glabbeek, Peter Höfner.
    A Timed Process Algebra for Wireless Networks.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan.
    Modelling and verifying the AODV routing protocol.
    Distributed Computing 2016, Volume 29 (0) 2016
    Journal article
    Rob J. van Glabbeek, Dominic J. D. Hughes.
    MALL proof nets identify proofs modulo rule commutation.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Wan Fokkink, Rob J. van Glabbeek.
    Divide and Congruence II: Delay and Weak Bisimilarity.
    Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 2016 (0) 2016
    Journal article
    Rob J. van Glabbeek, Peter Höfner.
    Progress, Fairness and Justness in Process Algebra.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog.
    Special issue on "Combining Compositionality and Concurrency": part 1.
    Acta Inf. 2015, Volume 52 (0) 2015
    Conference paper
    Rob J. van Glabbeek, Peter Höfner.
    CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions.
    Acta Inf. 2015, Volume 52 (0) 2015
    Journal article
    Taolue Chen, Wan Fokkink, Rob J. van Glabbeek.
    On the Axiomatizability of Impossible Futures.
    Logical Methods in Computer Science 2015, Volume 11 (0) 2015
    Journal article
    Rob J. van Glabbeek, Peter Höfner.
    CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Timothy Bourke, Rob J. van Glabbeek, Peter Höfner.
    A mechanized proof of loop freedom of the (untimed) AODV routing protocol.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog.
    Special issue on "Combining Compositionality and Concurrency": part 2.
    Acta Inf. 2015, Volume 52 (0) 2015
    Conference paper
    Kirstin Peters, Rob J. van Glabbeek.
    Analysing and Comparing Encodability Criteria for Process Calculi.
    Archive of Formal Proofs 2015, Volume 2015 (0) 2015
    Journal article
    Kirstin Peters, Rob J. van Glabbeek.
    Analysing and Comparing Encodability Criteria.
    Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015. 2015, Volume 190 (0) 2015
    Conference paper
    Rob J. van Glabbeek.
    Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP.
    Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings 2015 (0) 2015
    Journal article
    Rob J. van Glabbeek.
    Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker.
    A Rigorous Analysis of AODV and its Variants.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan.
    A Process Algebra for Wireless Mesh Networks.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan.
    Modelling and Verifying the AODV Routing Protocol.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Timothy Bourke, Rob J. van Glabbeek, Peter Höfner.
    Mechanizing a Process Algebra for Network Protocols.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan, Marius Portmann.
    Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan.
    Modelling and Analysis of AODV in UPPAAL.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan.
    Automated Analysis of AODV using UPPAAL.
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan.
    Real-reward testing for probabilistic processes.
    Theor. Comput. Sci. 2014, Volume 538 (0) 2014
    Conference paper
    Timothy Bourke, Rob J. van Glabbeek, Peter Höfner.
    Showing Invariance Compositionally for a Process Algebra for Network Protocols.
    Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings 2014 (0) 2014
    Journal article
    Timothy Bourke, Rob J. van Glabbeek, Peter Höfner.
    Showing invariance compositionally for a process algebra for network protocols.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Timothy Bourke, Rob J. van Glabbeek, Peter Höfner.
    A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol.
    Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke.
    On Characterising Distributability.
    Logical Methods in Computer Science 2009, Volume 9 (0) 2013
    Conference paper
    Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan, Marius Portmann.
    Sequence numbers do not guarantee loop freedom: AODV can yield routing loops.
    16th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM '13, Barcelona, Spain, November 3-8, 2013 2013 (0) 2013
    Journal article
    Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan.
    A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV.
    CoRR 2013, Volume 0 (0) 2013
    Conference paper
    Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan.
    Automated Analysis of AODV Using UPPAAL.
    Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proce 2012 (0) 2012
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke.
    On Distributability of Petri Nets - (Extended Abstract).
    Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedi 2012 (0) 2012
    Conference paper
    Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan.
    A Process Algebra for Wireless Mesh Networks.
    Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 2012 (0) 2012
    Journal article
    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. 2012, Volume 214 (0) 2012
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke.
    On Distributability of Petri Nets
    CoRR 2012, Volume 0 (0) 2012
    Journal article
    Rob J. van Glabbeek.
    Musings on Encodings and Expressiveness
    Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012. 2012, Volume 89 (0) 2012
    Conference paper
    Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker.
    A rigorous analysis of AODV and its variants.
    The 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM '12, Paphos, Cyprus, October 21-25, 2012 2012 (0) 2012
    Journal article
    Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke.
    Abstract Processes of Place/Transition Systems
    CoRR 2011, Volume 0 (0) 2011
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke.
    Abstract processes of place/transition systems.
    Inf. Process. Lett. 2010, Volume 111 (0) 2011
    Conference paper
    Rob J. van Glabbeek.
    On cool congruence formats for weak bisimulations.
    Theor. Comput. Sci. 2011, Volume 412 (0) 2011
    Journal article
    Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan.
    Real-Reward Testing for Probabilistic Processes (Extended Abstract)
    Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. 2011, Volume 57 (0) 2011
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke.
    On Causal Semantics of Petri Nets.
    CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings 2011 (0) 2011
    Book chapter
    Rob J. van Glabbeek.
    Bisimulation.
    Encyclopedia of Parallel Computing 2011 (0) 2011
    Journal article
    Yuxin Deng, Rob J. van Glabbeek.
    Characterising Probabilistic Processes Logically
    CoRR 2010, Volume 0 (0) 2010
    Journal article
    Rob J. van Glabbeek, Gordon D. Plotkin.
    On CSP and the Algebraic Theory of Effects
    CoRR 2010, Volume 0 (0) 2010
    Journal article
    Rob J. van Glabbeek.
    The Coarsest Precongruences Respecting Safety and Liveness Properties
    CoRR 2010, Volume 0 (0) 2010
    Conference paper
    Yuxin Deng, Rob J. van Glabbeek.
    Characterising Probabilistic Processes Logically - (Extended Abstract).
    Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Rob J. van Glabbeek.
    The Coarsest Precongruences Respecting Safety and Liveness Properties.
    Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan.
    Testing Finitary Probabilistic Processes.
    CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Taolue Chen, Wan Fokkink, Rob J. van Glabbeek.
    On Finite Bases for Weak Semantics: Failures Versus Impossible Futures.
    SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke.
    On Synchronous and Asynchronous Interaction in Distributed Systems
    CoRR 2009, Volume 0 (0) 2009
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke.
    Symmetric and Asymmetric Asynchronous Interaction
    CoRR 2009, Volume 0 (0) 2009
    Conference paper
    Rob J. van Glabbeek, Bas Luttik, Nikola Trcka.
    Computation Tree Logic with Deadlock Detection
    CoRR 2009, Volume 0 (0) 2009
    Conference paper
    Rob J. van Glabbeek, Gordon D. Plotkin.
    Configuration Structures, Event Structures and Petri Nets
    CoRR 2009, Volume 0 (0) 2009
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke.
    Symmetric and Asymmetric Asynchronous Interaction.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 229 (0) 2009
    Conference paper
    Rob J. van Glabbeek, Bas Luttik, Nikola Trcka.
    Branching Bisimilarity with Explicit Divergence.
    Fundam. Inform. 2009, Volume 93 (0) 2009
    Conference paper
    Rob J. van Glabbeek, Peter D. Mosses.
    Special issue on structural operational semantics.
    Inf. Comput. 2009, Volume 207 (0) 2009
    Conference paper
    Rob J. van Glabbeek, Gordon D. Plotkin.
    Configuration structures, event structures and Petri nets.
    Theor. Comput. Sci. 2009, Volume 410 (0) 2009
    Conference paper
    Rob J. van Glabbeek, Bas Ploeger.
    Correcting a Space-Efficient Simulation Algorithm.
    Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke.
    On Synchronous and Asynchronous Interaction in Distributed Systems.
    Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Rob J. van Glabbeek, Bas Ploeger.
    Five Determinisation Algorithms.
    Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan.
    Characterising Testing Preorders for Finite Probabilistic Processes
    CoRR 2008, Volume 0 (0) 2008
    Conference paper
    Taolue Chen, Wan Fokkink, Rob J. van Glabbeek.
    On Finite Bases for Weak Semantics: Failures versus Impossible Futures
    CoRR 2008, Volume 0 (0) 2008
    Conference paper
    Rob J. van Glabbeek, Bas Luttik, Nikola Trcka.
    Branching Bisimilarity with Explicit Divergence
    CoRR 2008, Volume 0 (0) 2008
    Conference paper
    Taolue Chen, Wan Fokkink, Rob J. van Glabbeek.
    Ready to preorder: The case of weak process semantics.
    Inf. Process. Lett. 2009, Volume 109 (0) 2008
    Conference paper
    Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan.
    Characterising Testing Preorders for Finite Probabilistic Processes.
    Logical Methods in Computer Science 2008, Volume 4 (0) 2008
    Conference paper
    Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang.
    Scalar Outcomes Suffice for Finitary Probabilistic Testing.
    Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang.
    Characterising Testing Preorders for Finite Probabilistic Processes.
    22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings 2007 (0) 2007
    Conference paper
    Rob J. van Glabbeek, Peter D. Mosses.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 175 (0) 2007
    Conference paper
    Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang.
    Remarks on Testing Probabilistic Processes.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 172 (0) 2007
    Conference paper
    Rob J. van Glabbeek, Matthew Hennessy.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 192 (0) 2007
    Conference paper
    Rob J. van Glabbeek, Marc Voorhoeve.
    Liveness, Fairness and Impossible Futures.
    CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind.
    Divide and Congruence Applied to
    Electr. Notes Theor. Comput. Sci. 2006, Volume 156 (0) 2006
    Conference paper
    Rob J. van Glabbeek.
    On Specifying Timeouts.
    Electr. Notes Theor. Comput. Sci. 2006, Volume 162 (0) 2006
    Conference paper
    Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind.
    Compositionality of Hennessy-Milner logic by structural operational semantics.
    Theor. Comput. Sci. 2006, Volume 354 (0) 2006
    Conference paper
    Rob J. van Glabbeek.
    On the expressiveness of higher dimensional automata.
    Theor. Comput. Sci. 2006, Volume 356 (0) 2006
    Conference paper
    Rob J. van Glabbeek.
    Erratum to "On the expressiveness of higher dimensional automata": [TCS 356 (2006) 265-290].
    Theor. Comput. Sci. 2006, Volume 368 (0) 2006
    Conference paper
    Rob J. van Glabbeek.
    A Characterisation of Weak Bisimulation Congruence.
    Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday 2005 (0) 2005
    Conference paper
    Rob J. van Glabbeek.
    The Individual and Collective Token Interpretations of Petri Nets.
    CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind.
    Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation.
    Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures 2006 (0) 2005
    Conference paper
    Rob J. van Glabbeek.
    On Cool Congruence Formats for Weak Bisimulations.
    Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Rob J. van Glabbeek.
    On the Expressiveness of Higher Dimensional Automata: (Extended Abstract).
    Electr. Notes Theor. Comput. Sci. 2005, Volume 128 (0) 2005
    Conference paper
    Dominic J. D. Hughes, Rob J. van Glabbeek.
    Proof nets for unit-free multiplicative-additive linear logic.
    ACM Trans. Comput. Log. 2005, Volume 6 (0) 2005
    Conference paper
    Rob J. van Glabbeek, Gordon D. Plotkin.
    Event Structures for Resolvable Conflict.
    Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Luca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir.
    Nested semantics over finite trees are equationally hard.
    Inf. Comput. 2004, Volume 191 (0) 2004
    Conference paper
    Rob J. van Glabbeek.
    The meaning of negative premises in transition system specifications II.
    J. Log. Algebr. Program. 2004, Volume 60 (0) 2004
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz.
    Well-behaved flow event structures for parallel composition and action refinement.
    Theor. Comput. Sci. 2004, Volume 311 (0) 2004
    Conference paper
    Bard Bloom, Wan Fokkink, Rob J. van Glabbeek.
    Precongruence formats for decorated trace semantics.
    ACM Trans. Comput. Log. 2004, Volume 5 (0) 2004
    Conference paper
    Rob J. van Glabbeek, David G. Stork.
    Query Nets: Interacting Workflow Modules That Ensure Global Termination.
    Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Rob J. van Glabbeek, Frits W. Vaandrager.
    Bundle Event Structures and CCSP.
    CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind.
    Compositionality of Hennessy-Milner Logic through Structural Operational Semantics.
    Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Dominic J. D. Hughes, Rob J. van Glabbeek.
    Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract).
    18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings 2003 (0) 2003
    Conference paper
    David G. Stork, Rob J. van Glabbeek.
    Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow.
    Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Bard Bloom, Wan Fokkink, Rob J. van Glabbeek.
    Precongruence Formats for Decorated Trace Semantics
    CoRR 2002, Volume 0 (0) 2002
    Conference paper
    Rob J. van Glabbeek.
    What is Branching Time Semantics and Why to Use it?
    Current Trends in Theoretical Computer Science 2001 (0) 2001
    Conference paper
    Rob J. van Glabbeek, Ursula Goltz.
    Refinement of actions and equivalence notions for concurrent systems.
    Acta Inf. 2001, Volume 37 (0) 2001
    Conference paper
    Bard Bloom, Wan Fokkink, Rob J. van Glabbeek.
    Precongruence Formats for Decorated Trace Preorders.
    LICS 2000 (0) 2000
    Show item 1 to 100 of 132  

    Your query returned 132 matches in the database.