Tutorial: Designing Distributed Software in mCRL2

Jan Friso Groote, Jeroen J. A. Keiren

Research output: Working paper › Preprint › Academic

Original languageEnglish
Volumeabs/2104.10542
Publication statusPublished - 2021

Publication series

NameCoRR
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
ISSN (Print)2331-8422

Bibliographical note

DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Access to Document

  • 1 Conference contribution

  • Tutorial: Designing Distributed Software in mCRL2

    Groote, J. F. & Keiren, J. J. A., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer, p. 226-243 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    7 Citations (Scopus)

Cite this