Specifying Message Passing and Time-Critical Systems with Temporal Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540562832, 9783540475064

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Summary and concluding remarks

Specifying Message Passing and Time-Critical Systems with Temporal Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-56283-4_7 ◽

1992 ◽

pp. 143-150

Download Full-text

Message passing systems

Specifying Message Passing and Time-Critical Systems with Temporal Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-56283-4_5 ◽

1992 ◽

pp. 65-98

Keyword(s):

Message Passing

Download Full-text

Polymodal logics with inequality

Specifying Message Passing and Time-Critical Systems with Temporal Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-56283-4_4 ◽

1992 ◽

pp. 39-63

Download Full-text

How to specify

Specifying Message Passing and Time-Critical Systems with Temporal Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-56283-4_2 ◽

1992 ◽

pp. 7-11

Download Full-text

Introduction

Specifying Message Passing and Time-Critical Systems with Temporal Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-56283-4_1 ◽

1992 ◽

pp. 1-5

Download Full-text

A review of modal and temporal logic

Specifying Message Passing and Time-Critical Systems with Temporal Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-56283-4_3 ◽

1992 ◽

pp. 13-37

Keyword(s):

Temporal Logic ◽

Modal And Temporal Logic

Download Full-text

Time-critical systems

Specifying Message Passing and Time-Critical Systems with Temporal Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-56283-4_6 ◽

1992 ◽

pp. 99-142

Keyword(s):

Critical Systems ◽

Download Full-text