A refined view of the box algebra
From MaRDI portal
Publication:5096357
DOI10.1007/3-540-60029-9_29zbMath1496.68217OpenAlexW1535192306MaRDI QIDQ5096357
Publication date: 16 August 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60029-9_29
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Performance analysis of concurrent systems in algebra dtsiPBC ⋮ Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC ⋮ High level expressions with their SOS semantics ⋮ Operational and denotational semantics for the box algebra
Cites Work
This page was built for publication: A refined view of the box algebra