Refusal simulation and interactive games

DOI10.1007/3-540-45719-4_15zbMATH Open1275.68107OpenAlexW1768989208MaRDI QIDQ2996145FDOQ2996145

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

Recommendations

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

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)

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)