Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions

DOI10.1007/978-3-642-33296-8_16zbMath1372.68179OpenAlexW157956888MaRDI QIDQ5200489

Carlos Luna, Luis Sierra, Dante Zanarini

Publication date: 6 November 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-33296-8_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Uses Software

• Unnamed Item

This page was built for publication: Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions