Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Undecidability of Partial Order Logics Rajeev Alur
 

Summary: Undecidability of Partial Order Logics
Rajeev Alur
Dept. of CIS,
Univeristy of Pensylvania,
Philadelphia, PA, 19104, USA
Doron Peled
Bell Laboratories
600 Mountain Ave.
Murray Hill, NJ 07974, USA
Abstract
In this paper we prove the undecidability of certain temporal logics
over partial orders. The proof we use is generic and can be applied
to characterize various termpoal operators that cannot be used for
automatic verification (model checking). We propose that these results
partially explain why the partial order model of concurrency has not
gained as much popularity as the interleaving model.
1 Introduction
The causal order or partial order semantics for concurrent systems [8, 13]
often challenges the frequently used interleaving or total order model. The
former model has the advantage that it does not assume a fictive order

  

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

 

Collections: Computer Technologies and Information Sciences