Document - From the Archives of the Formal Methods and Tools Lab: Axiomatising and Contextualising ACTL

2019

Contribution to book Open Access

From the Archives of the Formal Methods and Tools Lab: Axiomatising and Contextualising ACTL

Gnesi S., Ter Beek M. H.

ACTL Axiomatisation Temporal logic

We present a sound and complete axiomatisation of ACTL, an action-based version of the well-known branching-time temporal logic CTL, and place it into a historical context. ACTL was originally introduced by Rocco De Nicola together with Frits Vaandrager 30 years ago, and it has played a major role in shaping the activity of our Formal Methods and Tools Lab from the nineties to this very day.

Source: Models, Languages, and Tools for Concurrent and Distributed Programming, edited by Boreale M.; Corradini F.; Loreti M.; Pugliese R., pp. 219–235. Berlin: Springer, 2019

Publisher: Springer, Berlin, DEU

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:404760,
	title = {From the Archives of the Formal Methods and Tools Lab: Axiomatising and Contextualising ACTL},
	author = {Gnesi S. and Ter Beek M.  H.},
	publisher = {Springer, Berlin, DEU},
	doi = {10.1007/978-3-030-21485-2_13},
	booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming, edited by Boreale M.; Corradini F.; Loreti M.; Pugliese R., pp. 219–235. Berlin: Springer, 2019},
	year = {2019}
}