Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Logical Characterization of Efficiency Preorders Neelesh Korade1 and S. Arun-Kumar2
 

Summary: A Logical Characterization of Efficiency Preorders
Neelesh Korade1 and S. Arun-Kumar2
1 Persistent Systems Private Limited, "Bhageerath", 402, Senapati Bapat Road Pune 411016,
India. email: neelesh_korade@persistent.co.in
2 Department of Computer Science and Engineering, Indian Institute of Technology, Delhi,
Hauz Khas, New Delhi 110016, India. email: sak@cse.iitd.ernet.in
Abstract. In this paper we present logical characterizations of two preorders,
within the framework of Hennessy-Milner Logics. The two preorders (loosely
termed bisimulation-based efficiency preorders) are on processes represented as
labelled transition systems. The characterizations are particularly interesting as
they explore preorders lying between strong and weak bisimilarity, guided by a
principle of containment which is explained in the Introduction. Even though the
proofs of the characterizations use standard methods, there are various subtleties
introduced by the nature of the preorders and the logical operators needed to
characterize them. The authors have not previously encountered the use of such
operators in such simple logics.
Keywords Concurrency, transition systems, bisimulation, efficiency preorders, process
efficiency, Hennessy-Milner Logic.
1 Introduction
In [5] a modal logic for reasoning about labelled transition systems was first defined

  

Source: Arun-Kumar, S. - Department of Computer Science and Engineering, Indian Institute of Technology, Delhi

 

Collections: Computer Technologies and Information Sciences