Filter
Hoofdstuk

Zoekresultaten

  • 2023

    Applications: Puzzles and Games

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, blz. 165-181 17 blz. (Studies in Systems, Decision and Control; vol. 458).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • Applications: Distributed Algorithms

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, blz. 183-200 18 blz. (Studies in Systems, Decision and Control; vol. 458).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • Automata to Represent Behaviour

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, blz. 9-23 15 blz. (Studies in Systems, Decision and Control; vol. 458).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • Behavioural Equivalences

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, blz. 37-50 14 blz. (Studies in Systems, Decision and Control; vol. 458).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • Communicating Processes

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, blz. 25-35 11 blz. (Studies in Systems, Decision and Control; vol. 458).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • Data Types and Data-Dependent Behaviour

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, blz. 51-91 41 blz. (Studies in Systems, Decision and Control; vol. 458).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • Introducing mCRL2

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, blz. 1-7 7 blz. (Studies in Systems, Decision and Control; vol. 458).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • Linear Processes and Parameterised BESs

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, blz. 149-163 15 blz. (Studies in Systems, Decision and Control; vol. 458).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • Model-Checking

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, blz. 93-115 23 blz. (Studies in Systems, Decision and Control; vol. 458).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • The Modal μ -Calculus

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, blz. 117-148 32 blz. (Studies in Systems, Decision and Control; vol. 458).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • 2022

    Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation

    Groote, J. F., Jilissen, K. H. J., Laveaux, M., van Spaendonck, P. H. M. & Willemse, T. A. C., 2022, A Journey from Process Algebra via Timed Automata to Model Learning. Jansen, N., Stoelinga, M. & van den Bos, P. (redactie). Springer, blz. 306-320 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13560 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    1 Citaat (Scopus)
  • 2019

    A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract).

    van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 nov. 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (redactie). Cham: Springer, blz. 139-162 24 blz. (Lecture Notes in Computer Science; vol. 11760 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    3 Citaten (Scopus)
  • An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice

    Groote, J. F. & de Vink, E. P., 2019, From Software Engineering to Formal Methods and Tools, and Back. ter Beek, M. H., Fantechi, A. & Semini, L. (redactie). Cham: Springer, blz. 449-463 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    3 Citaten (Scopus)
  • 2008

    Analysis of distributed systems with mCRL2

    Groote, J. F., Mathijssen, A. H. J., Reniers, M. A., Usenko, Y. S. & Weerdenburg, van, M. J., 2008, Process Algebra for Parallel and Distributed Processing. Alexander, M. & Gardner, W. (redactie). Chapman & Hall, blz. 99-128 (CRC Computational Science Series; vol. 2).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    30 Citaten (Scopus)
    2 Downloads (Pure)
  • 2002

    Bits, trits, qits, pits of hits

    Groote, J. F., 2002, Liber Amicorum Jaco de Bakker. Boer, de, F. S., Heijden, van der, M. Y., Klint, P. & Rutten, J. J. M. M. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 89-92 226 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

    1 Downloads (Pure)
  • 2001

    Algebraic process verification

    Groote, J. F. & Reniers, M. A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (redactie). Amsterdam: Elsevier, blz. 1151-1208

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • 2000

    The propositional formula checker HeerHugo

    Groote, J. F. & Warners, J. P., 2000, SAT2000 : Highlights of Satisfiability Research in the Year 2000. Gent, I., Maaren, van, H. & Walsh, T. (redactie). IOS Press, (Frontiers in Artificial Intelligence and Applications; vol. 63).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

  • 1999

    The Vital Processor Interlocking.

    Vlijmen, S. V., Groote, J. F. & Koorn, W., 1999, Algebraic Specification in Action. blz. 1-56 56 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review