Refusal Simulation and Interactive Games

DOI10.1007/3-540-45719-4_15zbMath1275.68107OpenAlexW1768989208MaRDI QIDQ2996145

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

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

Related Items (4)

Safe reasoning with logic LTS ⋮ Safe Reasoning with Logic LTS ⋮ Ready simulation for concurrency: it's logical! ⋮ Axiomatizing Weak Ready Simulation Semantics over BCCSP

This page was built for publication: Refusal Simulation and Interactive Games