Rob van Glabbeek

Accepting PhD Students

PhD projects

Concurrency theory

Filter
Conference contribution

Search results

  • 2023

    A Cancellation Law for Probabilistic Processes

    van Glabbeek, R., Groote, J. F. & de Vink, E., 14 Sept 2023, Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS2023). Mezzina, C. A. & Caltais, G. (eds.). Open Publishing Association, Vol. 387. p. 42-58 17 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • A Lean-Congruence Format for EP-Bisimilarity

    van Glabbeek, R., Höfner, P. & Wang, W., 14 Sept 2023, Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS2023). Mezzina, C. A. & Caltais, G. (eds.). Open Publishing Association, Vol. 387. p. 59-75 17 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Just Testing

    van Glabbeek, R., 21 Apr 2023, Proceedings 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023): held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, France, April 2023. Kupferman, O. & Sobocinski, P. (eds.). Springer, Vol. 13992. p. 498-519 22 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2022

    Comparing the expressiveness of the π-calculus and CCS

    van Glabbeek, R., 29 Mar 2022, Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Sergey, I. (ed.). Cham: Springer International Publishing Switzerland, p. 548-574 27 p. (Lecture Notes in Computer Science; vol. 13240).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2021

    Enabling Preserving Bisimulation Equivalence

    van Glabbeek, R., Höfner, P. & Wang, W., 13 Aug 2021, 32nd International Conference on Concurrency Theory (CONCUR 2021). Haddad, S. & Varacca, D. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 203. 20 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 203).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom

    van Glabbeek, R., Höfner, P. & Horne, R., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2020

    Reactive temporal logic

    van Glabbeek, R. J., 31 Aug 2020, 27th International Workshop on Expressiveness in Concurrency 7th Workshop on Structural Operational Semantics, 31 August 2020. Dardha, O. & Rot, J. (eds.). Open Publishing Association, Vol. 322. p. 51-68 18 p. (Electronic Proceedings in Theoretical Computer Science; vol. 322).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Reactive bisimulation semantics for a process algebra with time-outs

    van Glabbeek, R. J., 26 Aug 2020, Proceedings 31st International Conference on Concurrency Theory (CONCUR '20). Konnov, I. & Kovács, L. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 171. p. 6:1-6:23 23 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 171).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Feasibility of Cross-Chain Payment with Success Guarantees

    van Glabbeek, R., Gramoli, V. & Tholoniat, P., 9 Jul 2020, Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures. New York, NY, USA: Association for Computing Machinery, Inc, p. 579–581 3 p. (SPAA '20).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Formalising the Optimised Link State Routing Protocol

    Barry, R., van Glabbeek, R. J. & Höfner, P., 26 Apr 2020, Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, Ireland, April 26, 2020. Fehnker, A. & Garavel, H. (eds.). Open Publishing Association, Vol. 316. p. 40-71 32 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2019

    On the Meaning of Transition System Specifications

    van Glabbeek, R. J., 22 Aug 2019, 6th International Workshop on Expressiveness in Concurrency 6th Workshop on Structural Operational Semantics, The Netherlands, 26th August 2019. Pérez, J. A. & Rot, J. (eds.). Open Publishing Association, Vol. 300. p. 69-85 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 300).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • A Process Algebra for Link Layer Protocols

    van Glabbeek, R., Höfner, P. & Markl, M., 6 Apr 2019, Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. Caires, L. (ed.). Cham: Springer, Cham, p. 668-693 26 p. (Lecture Notes in Computer Science; vol. 11423).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Justness: A Completeness Criterion for Capturing Liveness Properties (Extended Abstract)

    van Glabbeek, R., 5 Apr 2019, Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. Bojańczyk, M. & Simpson, A. (eds.). Cham: Springer, Cham, p. 505-522 18 p. (Lecture Notes in Computer Science; vol. 11425).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2018

    Is Speed-Independent Mutual Exclusion Implementablel (Invited Talk)

    van Glabbeek, R., 31 Aug 2018, 29th International Conference on Concurrency Theory (CONCUR 2018). Schewe, S. & Zhang, L. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 118. 1 p. 3. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 118).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Analysing AWN-Specifications Using mCRL2 (Extended Abstract)

    van Glabbeek, R., Höfner, P. & van der Wal, D., 9 Aug 2018, Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Furia, C. A. & Winter, K. (eds.). Cham: Springer, Cham, p. 398-418 21 p. (Lecture Notes in Computer Science; vol. 11023).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Theory of Encodings and Expressiveness (Extended Abstract)

    van Glabbeek, R., 14 Apr 2018, Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Baier, C. & Dal Lago, U. (eds.). Cham: Springer, Cham, p. 183-202 20 p. (Lecture Notes in Computer Science; vol. 10803).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2017

    Divide and Congruence III: Stability & Divergence

    Fokkink, W., van Glabbeek, R. & Luttik, B., 1 Sept 2017, 28th International Conference on Concurrency Theory (CONCUR 2017). Meyer, R. & Nestmann, U. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 85. p. 15:1-15:16 16 p. 15. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 85).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Analysing Mutual Exclusion using Process Algebra with Signals

    Dyseryn, V., van Glabbeek, R. & Höfner, P., 31 Aug 2017, Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics. Peters, K. & Tini, S. (eds.). Open Publishing Association, Vol. 255. p. 18-34 (Electronic Proceedings in Theoretical Computer Science; vol. 255).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Precongruence Formats with Lookahead through Modal Decomposition

    Fokkink, W. & van Glabbeek, R. J., 16 Aug 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Goranko, V. & Dam, M. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 82. p. 25:1-25:20 20 p. 25. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 82).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Lean and full congruence formats for recursion

    van Glabbeek, R., 10 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack

    van Glabbeek, R. J. & Höfner, P., 15 Mar 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höfner, P. (eds.). Open Publishing Association, Vol. 244. p. 14-52 39 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2016

    Divide and Congruence II: Delay and Weak Bisimilarity

    Fokkink, W. & van Glabbeek, R., 5 Jul 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: Association for Computing Machinery, Inc, p. 778–787 10 p. (LICS '16).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Timed Process Algebra for Wireless Networks with an Application in Routing

    Bres, E., van Glabbeek, R. & Höfner, P., 21 Mar 2016, 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. Thiemann, P. (ed.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 95-122 28 p. (Lecture Notes in Computer Science; vol. 9632).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2015

    Analysing and Comparing Encodability Criteria

    Peters, K. & van Glabbeek, R., 26 Aug 2015, Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics. Crafa, S. & Gebler, D. E. (eds.). Open Publishing Association, Vol. 190. p. 46-60 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 190).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2014

    A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol

    Bourke, T., van Glabbeek, R., Höfner, P., Cassez, F. (ed.) & Raskin, J-F. (ed.), 24 Oct 2014, Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings. Cassez, F. & Raskin, J-F. (eds.). Springer, Cham, p. 47-63 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Showing Invariance Compositionally for a Process Algebra for Network Protocols

    Bourke, T., van Glabbeek, R. J. & Höfner, P., 28 Jun 2014, 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. Klein, G. & Gamboa, R. (eds.). Springer International Publishing, p. 144-159 16 p. (Lecture Notes in Computer Science; vol. 8558).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2013

    Sequence Numbers Do Not Guarantee Loop Freedom: AODV Can Yield Routing Loops

    van Glabbeek, R., Höfner, P., Tan, W. L. & Portmann, M., 3 Nov 2013, Proceedings of the 16th ACM International Conference on Modeling, Analysis & Simulation of Wireless and Mobile Systems. New York, NY, USA: Association for Computing Machinery (ACM), p. 91–100 10 p. (MSWiM '13).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2012

    A rigorous analysis of AODV and its variants

    Höfner, P., Tan, W. L., McIver, A., Van Glabbeek, R., Portmann, M. & Fehnker, A., 21 Oct 2012, MSWiM'12 - Proceedings of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. Association for Computing Machinery (ACM), p. 203-212 10 p. (MSWiM'12 - Proceedings of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Musings on Encodings and Expressiveness

    van Glabbeek, R. J., 12 Aug 2012, Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics. Luttik, B. & Reniers, M. A. (eds.). Open Publishing Association, Vol. 89. p. 81-98 18 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Automated Analysis of AODV Using UPPAAL

    Fehnker, A., van Glabbeek, R., Höfner, P., McIver, A., Portmann, M. & Tan, W. L., 1 Apr 2012, 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, Proceedings. Flanagan, C. & König, B. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 173-187 15 p. (Lecture Notes in Computer Science; vol. 7214).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On Distributability of Petri Nets

    van Glabbeek, R., Goltz, U. & Schicke-Uffmann, J-W., 1 Apr 2012, Foundations of Software Science and Computational Structures. Birkedal, L. (ed.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 331-345 15 p. (Lecture Notes in Computer Science; vol. 7213).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Process Algebra for Wireless Mesh Networks

    Fehnker, A., van Glabbeek, R., Höfner, P., McIver, A., Portmann, M. & Tan, W. L., 28 Mar 2012, 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. Seidl, H. (ed.). Berlin, Heidelberg: Springer Berlin Heidelberg, Vol. 7211. p. 295-315 21 p. (Lecture Notes in Computer Science; vol. 7211).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2011

    On Causal Semantics of Petri Nets

    van Glabbeek, R. J., Goltz, U. & Schicke, J-W., 9 Sept 2011, CONCUR 2011 -- Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings. Katoen, J-P. & König, B. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 43-59 17 p. (Lecture Notes in Computer Science; vol. 6901).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Real-Reward Testing for Probabilistic Processes (Extended Abstract)

    Deng, Y., van Glabbeek, R., Hennessy, M. & Morgan, C., 4 Jul 2011, Proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages, Saarbrücken, Germany, April 1-3, 2011. Massink, M. & Norman, G. (eds.). Open Publishing Association, Vol. 57. p. 61-73 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 57).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2010

    Characterising Probabilistic Processes Logically

    Deng, Y. & van Glabbeek, R., 15 Oct 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings. Fermüller, C. G. & Voronkov, A. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 278-293 16 p. (Lecture Notes in Computer Science; vol. 6397).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The Coarsest Precongruences Respecting Safety and Liveness Properties

    van Glabbeek, R. J., 23 Sept 2010, Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings. Calude, C. S. & Sassone, V. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 32-52 21 p. (IFIP Advances in Information and Communication Technology; vol. 323).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2009

    Testing Finitary Probabilistic Processes

    Deng, Y., van Glabbeek, R., Hennessy, M. & Morgan, C., 4 Sept 2009, CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings. Bravetti, M. & Zavattaro, G. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 274-288 15 p. (Lecture Notes in Computer Science; vol. 5710).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Symmetric and Asymmetric Asynchronous Interaction

    van Glabbeek, R. J., Goltz, U. & Schicke, J-W., 22 Jul 2009, Proceedings of the First Interaction and Concurrency Experience (ICE'08). Bonchi, F., Grohmann, D., Spoletini, P., Troina, A. & Tuosto, E. (eds.). 3 ed. Elsevier, Vol. 229. p. 77-95 19 p. (Electronic Notes in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • On Finite Bases for Weak Semantics: Failures Versus Impossible Futures

    Chen, T., Fokkink, W. & van Glabbeek, R., 30 Jan 2009, SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Nielsen, M., Kučera, A., Miltersen, P. B., Palamidessi, C., Tuma, P. & Valencia, F. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 167-180 14 p. (Lecture Notes in Computer Science; vol. 5404).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2008

    On Synchronous and Asynchronous Interaction in Distributed Systems

    van Glabbeek, R., Goltz, U. & Schicke, J-W., 29 Aug 2008, Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings. Ochmański, E. & Tyszkiewicz, J. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 16-35 20 p. (Lecture Notes in Computer Science; vol. 5162).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Five Determinisation Algorithms

    van Glabbeek, R. & Ploeger, B., 24 Jul 2008, Implementation and Applications of Automata. Ibarra, O. H. & Ravikumar, B. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 161-170 10 p. (Lecture Notes in Computer Science; vol. 5148).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Correcting a Space-Efficient Simulation Algorithm

    van Glabbeek, R. & Ploeger, B., 14 Jul 2008, Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings. Gupta, A. & Malik, S. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 517-529 13 p. (Lecture Notes in Computer Science; vol. 5123).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2007

    Characterising Testing Preorders for Finite Probabilistic Processes

    Deng, Y., van Glabbeek, R., Hennessy, M., Morgan, C. & Zhang, C., 14 Jul 2007, 2007 22nd Annual IEEE Symposium on Logic in Computer Science. Los Alamitos, CA, USA: IEEE Computer Society, p. 313-325 13 p. (Proceedings of the Annual IEEE Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Scalar Outcomes Suffice for Finitary Probabilistic Testing

    Deng, Y., van Glabbeek, R., Morgan, C. & Zhang, C., 1 Apr 2007, Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings. De Nicola, R. (ed.). Heidelberg: Springer Berlin Heidelberg, p. 363-378 16 p. (Lecture Notes in Computer Science; vol. 4421).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2006

    Liveness, Fairness and Impossible Futures

    van Glabbeek, R. & Voorhoeve, M., 30 Aug 2006, CONCUR 2006 -- Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Baier, C. & Hermanns, H. (eds.). Heidelberg: Springer Berlin Heidelberg, p. 126-141 16 p. (Lecture Notes in Computer Science; vol. 4137).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2005

    Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation

    Fokkink, W., van Glabbeek, R. & de Wind, P., 4 Nov 2005, Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. de Boer, F. S., Bonsangue, M. M., Graf, S. & de Roever, W-P. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 195-218 24 p. (Lecture Notes in Computer Science; vol. 4111).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On Cool Congruence Formats for Weak Bisimulations

    van Glabbeek, R. J., 21 Oct 2005, Theoretical Aspects of Computing -- ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings. Van Hung, D. & Wirsing, M. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 318-333 16 p. (Lecture Notes in Computer Science; vol. 3722).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The Individual and Collective Token Interpretations of Petri Nets

    van Glabbeek, R. J., 26 Aug 2005, CONCUR 2005 -- Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings. Abadi, M. & de Alfaro, L. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 323-337 15 p. (Lecture Notes in Computer Science; vol. 3653).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2004

    Event Structures for Resolvable Conflict

    van Glabbeek, R. & Plotkin, G., 27 Aug 2004, Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings. Fiala, J., Koubek, V. & Kratochvíl, J. (eds.). Heidelberg: Springer Berlin Heidelberg, p. 550-561 12 p. (Lecture Notes in Computer Science; vol. 3153).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2003

    Bundle Event Structures and CCSP

    van Glabbeek, R. J. & Vaandrager, F. W., 3 Dec 2003, CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. Amadio, R. & Lugiez, D. (eds.). Springer-Verlag, p. 57-71 15 p. (Lecture Notes in Computer Science; vol. 2761).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution