Problem solving using process algebra considered insightful.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

4 Citaten (Scopus)

Samenvatting

Process algebras with data, such as LOTOS, PSF, FDR, and mCRL2, are very suitable to model and analyse combinatorial problems. Contrary to more traditional mathematics, many of these problems can very directly be formulated in process algebra. Using a wide range of techniques, such as behavioural reductions, model checking, and visualisation, the problems can subsequently be easily solved. With the advent of probabilistic process algebras this also extends to problems where probabilities play a role. In this paper we model and analyse a number of very well-known – yet tricky – problems and show the elegance of behavioural analysis.
Originele taal-2Engels
TitelModelEd, TestEd, TrustEd
SubtitelEssays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
RedacteurenJoost-Pieter Katoen, Rom Langerak, Arend Rensink
Plaats van productieCham
UitgeverijSpringer
Hoofdstuk3
Pagina's48-63
Aantal pagina's16
ISBN van elektronische versie978-3-319-68270-9
ISBN van geprinte versie978-3-319-68269-3
DOI's
StatusGepubliceerd - 2017

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10500 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Vingerafdruk Duik in de onderzoeksthema's van 'Problem solving using process algebra considered insightful.'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Groote, J. F., & de Vink, E. P. (2017). Problem solving using process algebra considered insightful. In J-P. Katoen, R. Langerak, & A. Rensink (editors), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (blz. 48-63). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10500 LNCS). Springer. https://doi.org/10.1007/978-3-319-68270-9_3