Linear and Branching Time Temporal Logic

Article View: comp.specification

Article #92

Back to comp.specification Previous Next

#92

From: Armin Zundel
Date: Fri, 21 Aug 1992 12:40

24 lines
1359 bytes

Hello everyone! 

after reading some papers about temporal logic I had some problems to
decide when to use linear time logics and when to use branching time
logics. I decided to read 

"Sometimes" and "Not Never" revisited: On Branching versus Linear Time
Temporal Logic 
by E.a. Emerson and J.Y. Halpern.

Now I'm even more confused. I just want so specify distributed systems.
Can anyone tell me what real life properties can be specified with
linear time logic and which can be specified in branching time logic. 

Regards 
   Armin

-----------------------------------------------------------------------
Armin Zundel                 Institut fuer Logik, Komplexitaet und 
                                       Deduktionssysteme 
                             Universitaet Karlsruhe
                             Am Fasanengarten 5  
zundel@ira.uka.de            D-7500 Karlsruhe 1
------------------------------------------------------------------------

Technical Details

Message-ID: <172o80INNk2k@iraul1.ira.uka.de>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!ira.uka.de!uka!i10s7!zundel

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!ira.uka.de!uka!i10s7!zundel
From: zundel@i10s7 (Armin Zundel)
Newsgroups: comp.specification
Subject: Linear and Branching Time Temporal Logic
Date: 21 Aug 1992 12:40:32 GMT
Organization: University of Karlsruhe, Comp. Sc. Dept., FRG
Lines: 24
Message-ID: <172o80INNk2k@iraul1.ira.uka.de>
NNTP-Posting-Host: i10s7.ira.uka.de