Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
On the specification of modal systems: a comparison of three frameworks6
 

Summary: On the specification of modal systems: a comparison of
three frameworks6
Luca Acetoa
, Ignacio F´abregasb
, David de Frutos-Escrigb
, Anna Ing´olfsd´ottira
,
Miguel Palominob
aICE-TCS, School of Computer Science, Reykjavik University, Iceland
bDepartamento de Sistemas Inform´aticos y Computaci´on, Universidad Complutense de
Madrid, Spain
Abstract
This paper studies the relationships between three notions of behavioural pre-
order that have been proposed in the literature: refinement over modal transi-
tion systems, and the covariant-contravariant simulation and the partial bisim-
ulation preorders over labelled transition systems. It is shown that there are
mutual translations between modal transition systems and labelled transition
systems that preserve, and reflect, refinement and the covariant-contravariant
simulation preorder. The translations are also shown to preserve the modal
properties that can be expressed in the logics that characterize those preorders.

  

Source: Aceto, Luca - School of Computer Science, Reykjavík University

 

Collections: Mathematics; Computer Technologies and Information Sciences