A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice: (extended abstract)

Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Samenvatting

This paper proposes a notion of branching bisimilarity for non-deterministic probabilistic processes. In order to characterize the corresponding notion of rooted branching probabilistic bisimilarity, an equational theory is proposed for a basic, recursion-free process language with non-deterministic as well as probabilistic choice. The proof of completeness of the axiomatization builds on the completeness of strong probabilistic bisimilarity on the one hand and on the notion of a concrete process, i.e. a process that does not display (partially) inert τ -moves, on the other hand. The approach is first presented for the non-deterministic fragment of the calculus and next generalized to incorporate probabilistic choice, too.

Originele taal-2Engels
TitelThe 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
RedacteurenM.S. Alvim, K. Chatzikokolakis, C. Olarte, F. Valencia
Plaats van productieCham
UitgeverijSpringer
Pagina's139-162
ISBN van elektronische versie978-3-030-31175-9
ISBN van geprinte versie978-3-030-31174-2
DOI's
StatusGepubliceerd - 4 nov 2019

Publicatie series

NaamLecture Notes in Computer Science
Volume11760 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Vingerafdruk Duik in de onderzoeksthema's van 'A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice: (extended abstract)'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    van Glabbeek, R. J., Groote, J. F., & de Vink, E. P. (2019). A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice: (extended abstract). In M. S. Alvim, K. Chatzikokolakis, C. Olarte, & F. Valencia (editors), 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 (blz. 139-162). (Lecture Notes in Computer Science; Vol. 11760 LNCS). Springer. https://doi.org/10.1007/978-3-030-31175-9_9