Bisimulation of labeled state-to-function transition systems of stochastic process languages

D. Latella, M. Massink, E.P. Vink, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

Abstract

Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic process languages. In this paper, the notion of bisimulation induced by a FuTS is proposed and a correspondence result is proven stating that FuTS-bisimulation coincides with the behavioral equivalence of the associated functor. As generic examples, the concrete existing equivalences for the core of the process algebras ACP, PEPA and IMC are related to the bisimulation of specific FuTS, providing via the correspondence result coalgebraic justification of the equivalences of these calculi.
Original languageEnglish
Title of host publicationProceedings Seventh ACCAT Workshop on Applied and Computational Category Theory (Tallinn, Estonia, April 1, 2012)
EditorsU. Golas, T. Soboll
PublisherEPTCS
Pages23-43
DOIs
Publication statusPublished - 2012
Eventconference; Seventh ACCAT Workshop on Applied and Computational Category Theory; 2012-04-01; 2012-04-01 -
Duration: 1 Apr 20121 Apr 2012

Publication series

NameElectronic Proceedings in Theoretical Computer Science
Volume93
ISSN (Print)2075-2180

Conference

Conferenceconference; Seventh ACCAT Workshop on Applied and Computational Category Theory; 2012-04-01; 2012-04-01
Period1/04/121/04/12
OtherSeventh ACCAT Workshop on Applied and Computational Category Theory

Fingerprint

Dive into the research topics of 'Bisimulation of labeled state-to-function transition systems of stochastic process languages'. Together they form a unique fingerprint.

Cite this