Automata, Languages and Programming

DOI10.1007/B99859zbMath1099.68656OpenAlexW2505584480MaRDI QIDQ5466504

No author found.

Publication date: 24 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b99859

zbMATH Keywords

model checkinggame semanticstype systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15) 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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Angelic semantics of fine-grained concurrency ⋮ Functions with local state: regularity and undecidability ⋮ Handshake Games

This page was built for publication: Automata, Languages and Programming