CHECKING THAT FINITE STATE CONCURRENT PROGRAMS SATISFY THEIR LINEAR SPECIFICATION.

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1985, Pages 97-107

  Lichtenstein, Orna ^a   Pnueli, Amir ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS - THEORY; COMPUTER PROGRAMMING - ALGORITHMS;

CONCURRENT PROGRAMMING; FINITE STATE CONCURRENT PROGRAMS; LINEAR TIME TEMPORAL LOGIC;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0022188649     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/318593.318622     Document Type: Conference Paper

References (19)