Theoretical Aspects of Computing – ICTAC 2005

DOI10.1007/11560647zbMath1169.68652OpenAlexW4300984554MaRDI QIDQ5395126

Misa Keinänen, Jan Friso Groote

Publication date: 1 November 2006

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

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Nonnumerical algorithms (68W05) 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 (1)

A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus

This page was built for publication: Theoretical Aspects of Computing – ICTAC 2005