Refusal simulation and interactive games

DOI10.1007/3-540-45719-4_15MaRDI QIDQ2996145zbMATH OpenOpenAlexFDO

Authors Irek Ulidowski

Publication date 6 May 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45719-4_15

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Refusal testing
• Guarded operations, refinement and simulation
• scientific article; zbMATH DE number 3956420
• Process simulation and refinement
• On probabilistic alternating simulations

Cited in

(5)

• Axiomatizing weak ready simulation semantics over BCCSP
• Ready simulation for concurrency: it's logical!
• Safe Reasoning with Logic LTS
• Systems with refusal
• Safe reasoning with logic LTS

This page was built for publication: Refusal simulation and interactive games

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