CPO models for a class of GSOS languages

DOI10.1007/3-540-59293-8_212MaRDI QIDQ5096748zbMATH OpenOpenAlexFDO

Authors Luca Aceto, Anna Ingolfsdottir

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)

Recommendations

• CPO models for compact GSOS languages
• Rational operational models
• Fully abstract denotational models for nonuniform concurrent languages
• scientific article; zbMATH DE number 3938561
• A fully abstract denotational model for observational precongruence

Cites work

• A domain equation for bisimulation
• A term model for synchronous processes
• Bisimulation and divergence
• CPO models for compact GSOS languages
• scientific article; zbMATH DE number 3744561 (Why is no real title available?)
• scientific article; zbMATH DE number 3754002 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 48967 (Why is no real title available?)
• scientific article; zbMATH DE number 4001464 (Why is no real title available?)
• Process Algebra
• Turning SOS rules into equations

Cited in

(3)

• Presheaf models for CCS-like languages
• CPO models for compact GSOS languages
• 3coSoKu and its declarative modeling

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096748)