Equational characterization of covariant-contravariant simulation and conformance simulation semantics

MaRDI QIDQ4963897zbMATH OpenFDO

Authors I. Fábregas, David de Frutos Escrig, Miguel Palomino

Publication date 24 February 2021

Full work available at URL https://arxiv.org/abs/1008.2108, http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2010.1

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

• scientific article; zbMATH DE number 7319028
• Simulations up-to and canonical preorders (extended abstract)
• (Bi)simulations up-to characterise process semantics
• Relating modal refinements, covariant-contravariant simulations and partial bisimulations
• Axiomatizing weak simulation semantics over BCCSP

Cited in

(3)

• Fixpoint semantics and simulation
• Constrained simulations, nested simulation semantics and counting bisimulations
• Relating modal refinements, covariant-contravariant simulations and partial bisimulations

This page was built for publication: Equational characterization of covariant-contravariant simulation and conformance simulation semantics

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