Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!floyd!vax135!cornell!uw-beaver!tektronix!hplabs!sri-unix!DFH@SU-AI.ARPA
From: DFH@SU-AI.ARPA
Newsgroups: net.ai
Subject: Compositional Temporal Logic
Message-ID: <284@sri-arpa.UUCP>
Date: Thu, 22-Mar-84 19:00:00 EST
Article-I.D.: sri-arpa.284
Posted: Thu Mar 22 19:00:00 1984
Date-Received: Fri, 30-Mar-84 00:40:39 EST
Lines: 16

From:  Diana Hall <DFH@SU-AI.ARPA>

         [Forwarded from the SRI CSLI bboard by Laws@SRI-AI.]

                HOW COMPOSITIONAL CAN TEMPORAL LOGIC BE?

                       Speaker:  Prof. Amir Pnueli
                        Weizmann Institute, Israel

                       Tuesday, March 27, 2:30 p.m.
                       Room 352 Margaret Jacks Hall

Abstract:  A compositional proof system based on temporal logic is presented.
The system supports systematic development of concurrent systems by
specifying modules and then proving a specification for their combination.
The specifications of modules are expressed by temporal logic.