Probabilistic mediator: a coalgebraic perspective

DOI10.1016/j.jlamp.2022.100808OpenAlexW4294676821WikidataQ114159185 ScholiaQ114159185MaRDI QIDQ2079684

Ai Liu, Meng Sun, Shaoying Liu

Publication date: 30 September 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100808

zbMATH Keywords

coalgebrabisimulationcombinatormediatorcomponent-based language

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• Reo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• ``Keep definition, change category -- a practical approach to state-based system calculi
• Synthesis of Reo circuits from scenario-based interaction specifications
• Simulations in coalgebra
• Universal coalgebra: A theory of systems
• Continuity as a computational effect
• Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
• Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
• A Single Complete Relational Rule for Coalgebraic Refinement
• Reo: a channel-based coordination model for component composition
• Efficient Coalgebraic Partition Refinement
• Algebraic Methodology and Software Technology

This page was built for publication: Probabilistic mediator: a coalgebraic perspective