eprintid: 379
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/79
datestamp: 2011-05-31 12:27:28
lastmod: 2011-07-11 14:36:27
status_changed: 2011-05-31 12:27:28
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Vaandrager, Frits W.
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Action versus State based Logics for Transition Systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: A temporal logic based on actions rather than on states is presented and interpreted over labelled transition systems. It is proved that it has essentially the same power as CTL*, a temporal logic interpreted over Kripke structures. The relationship between the two logics is established by introducing two mappings from Kripke structures to labelled transition systems and viceversa and two transformation functions between the two logics which preserve truth. A branching time version of the action based logic is also introduced. This new logic for transition systems can play an important role as an intermediate between Hennessy-Milner Logic and the modal μ-calculus. It is sufficiently expressive to describe safety and liveness properties but permits model checking in linear time.
date: 1990
date_type: published
series: Lecture Notes in Computer Science
volume: 469
publisher: Springer
pagerange: 407-419
id_number: 10.1007/3-540-53479-2_17
refereed: TRUE
isbn: 3-540-53479-2
book_title: Semantics of Systems of Concurrent Processes
editors_name: Guessarian, Irene
official_url: http://dx.doi.org/10.1007/3-540-53479-2_17
funders: The research has been partially supported by Esprit Basic Research Action Program, Project 3011 CEDISYS and by CNR Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, project LAMBRUSCO.
citation:   De Nicola, Rocco and Vaandrager, Frits W.  Action versus State based Logics for Transition Systems.   In:  Semantics of Systems of Concurrent Processes.   Lecture Notes in Computer Science, 469 .  Springer, pp. 407-419.  ISBN 3-540-53479-2      (1990)