Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Ristori G. Modelling Transition Systems within an Action Based Logic. Technical report, 1995.
In this paper we study the ability of a logic to finitely characterize the complete behaviour of a system. Given a Labelled Transition System, we look for a formula of the logic that is satisfied by all and only the Labelled Transition Systems that are equivalent to it. The main result is that we are able to finitely characterize finite state Labelled Transition Systems, with respect to the classical notion of strong bisimulation equivalence, in a completely syntax driven way and using a logic without fixed points. The logic we have chosen is the action based version of CTL, known as ACTL, which is strictly less expressive than CTL
Subject F.4 Mathematical Logic and Formal Languages
F.4.3 Formal Languages
F.4.1 Mathematical Logic: Temporal logic

Icona documento 1) Download Document PS
Icona documento 2) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional