Foundations of Software Science and Computational Structures
From MaRDI portal
Publication:5705875
DOI10.1007/b106850zbMath1118.68398MaRDI 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
68Q45: Formal languages and automata
68N15: Theory of programming languages
68Q55: Semantics in the theory of computing
Related Items
Functions with local state: regularity and undecidability, Verifying annotated program families using symbolic game semantics, A game semantics of names and pointers, Decidability and syntactic control of interference, Game Semantics for Access Control, Contextual Approximation and Higher-Order Procedures, A Fragment of ML Decidable by Visibly Pushdown Automata