CPO models for a class of GSOS languages

DOI10.1007/3-540-59293-8_212zbMath1496.68210OpenAlexW1878098282MaRDI QIDQ5096748

Anna Ingólfsdóttir, Luca Aceto

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_212

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulation and divergence
• Turning SOS rules into equations
• CPO models for compact GSOS languages
• A domain equation for bisimulation
• A term model for synchronous processes
• Process Algebra

This page was built for publication: CPO models for a class of GSOS languages