Process Logic.

Vaughan R. Pratt: Process Logic. POPL 1979: 93-100

@inproceedings{DBLP:conf/popl/Pratt79,
  author    = {Vaughan R. Pratt},
  title     = {Process Logic},
  booktitle = {POPL},
  year      = {1979},
  pages     = {93-100},
  ee        = {db/conf/popl/Pratt79.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Abstract

We discuss problems arising in reasoning about on-going processes, using the modal constructs after, throughout, during, and preserves. Earlier work established decidability of the theory whose language included only the first two of these, along with program connectives | , ; and *. Here we give a complete Gentzen-type axiomatization for useful combinations of the other modalities. We also indicate how such Gentzen-type axiomatizations lead to deterministic exponential time upper bounds on the complexity of decision procedures for these languages. It remains an open problem how to completely axiomatize the combination of modalities during and preserves.

Copyright © 1979 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

POPL Proceedings Compendium

CDROM Version: Load the CDROM "POPL, The First Ten Years" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/Popl or /cdrom

BibTeX

Printed Edition

Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, January 1979. ACM 1979 BibTeX
Contents

Online Edition: ACM Digital Library

BibTeX