Foundations of Software Science and Computational Structures
From MaRDI portal
Publication:5705875
DOI10.1007/B106850zbMath1118.68398OpenAlexW1588712707MaRDI QIDQ5705875
Andrzej S. Murawski, Igor Walukiewicz
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106850
Formal languages and automata (68Q45) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Related Items (7)
Verifying annotated program families using symbolic game semantics ⋮ A Fragment of ML Decidable by Visibly Pushdown Automata ⋮ A game semantics of names and pointers ⋮ Decidability and syntactic control of interference ⋮ Functions with local state: regularity and undecidability ⋮ Game Semantics for Access Control ⋮ Contextual Approximation and Higher-Order Procedures
This page was built for publication: Foundations of Software Science and Computational Structures
