PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Ristori G. Modelling Transition Systems within an Action Based Logic. Technical report, 1995.
 
 
Abstract
(English)
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