Probabilistic mediator: a coalgebraic perspective
type: Item
instance of: scholarly article
title: Probabilistic mediator: a coalgebraic perspective
author: Ai Liu
author: Shaoying Liu
author: Meng Sun
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2022-09-30T00:00:00Z
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7595227
zbMATH Keywords: mediator
zbMATH Keywords: component-based language
zbMATH Keywords: coalgebra
zbMATH Keywords: combinator
zbMATH Keywords: bisimulation
describes a project that uses: Reo
MaRDI profile type: Publication
Wikidata QID: Q114159185
full work available at URL: j.jlamp.2022.100808
OpenAlex ID: W4294676821
cites work: Reo: a channel-based coordination model for component composition
cites work: Efficient Coalgebraic Partition Refinement
cites work: Simulations in coalgebra
cites work: Q4738115
cites work: Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
cites work: Coalgebraic trace semantics for continuous probabilistic transition systems
cites work: Continuity as a computational effect
cites work: ``Keep definition, change category'' -- a practical approach to state-based system calculi
cites work: A Single Complete Relational Rule for Coalgebraic Refinement
cites work: Universal coalgebra: A theory of systems
cites work: Q4621137
cites work: A coalgebraic semantic framework for component-based development in UML
cites work: Synthesis of Reo circuits from scenario-based interaction specifications
cites work: Algebraic Methodology and Software Technology
DOI: 10.1016/J.JLAMP.2022.100808
description: scientific article; zbMATH DE number 7595227