Game Semantic Analysis of Equivalence in IMJ
From MaRDI portal
Publication:3460582
DOI10.1007/978-3-319-24953-7_30zbMath1471.68150MaRDI QIDQ3460582
Andrzej S. Murawski, Nikos Tzevelekos, S. J. Ramsay
Publication date: 8 January 2016
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: http://wrap.warwick.ac.uk/78373/1/WRAP_1271755-cs-010416-paper_61.pdf
68Q45: Formal languages and automata
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Algorithmic games for full ground references, Verifying annotated program families using symbolic game semantics, Reachability in pushdown register automata, ML and Extended Branching VASS