Logics for Concurrency - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540609155, 9783540496755

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated temporal reasoning about reactive systems

Logics for Concurrency - Lecture Notes in Computer Science ◽

10.1007/3-540-60915-6_3 ◽

1996 ◽

pp. 41-101 ◽

Cited By ~ 26

Author(s):

E. Allen Emerson

Keyword(s):

Reactive Systems ◽

Temporal Reasoning

Download Full-text

Introduction

Logics for Concurrency - Lecture Notes in Computer Science ◽

10.1007/3-540-60915-6_1 ◽

1996 ◽

pp. 1-4

Download Full-text

Modal and temporal logics for processes

Logics for Concurrency - Lecture Notes in Computer Science ◽

10.1007/3-540-60915-6_5 ◽

1996 ◽

pp. 149-237 ◽

Cited By ~ 51

Author(s):

Colin Stirling

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics

Download Full-text

Specification Structures and propositions-as-types for concurrency

Logics for Concurrency - Lecture Notes in Computer Science ◽

10.1007/3-540-60915-6_2 ◽

1996 ◽

pp. 5-40 ◽

Cited By ~ 14

Author(s):

Samson Abramsky ◽

Simon Gay ◽

Rajagopal Nagarajan

Download Full-text

An automata-theoretic approach to linear temporal logic

Logics for Concurrency - Lecture Notes in Computer Science ◽

10.1007/3-540-60915-6_6 ◽

1996 ◽

pp. 238-266 ◽

Cited By ~ 215

Author(s):

Moshe Y. Vardi

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Theoretic Approach

Download Full-text

Decidability results in automata and process theory

Logics for Concurrency - Lecture Notes in Computer Science ◽

10.1007/3-540-60915-6_4 ◽

1996 ◽

pp. 102-148 ◽

Cited By ~ 7

Author(s):

Yoram Hirshfeld ◽

Faron Moller

Keyword(s):

Process Theory

Download Full-text

Logics for Concurrency - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automated temporal reasoning about reactive systems

Introduction

Modal and temporal logics for processes

Specification Structures and propositions-as-types for concurrency

An automata-theoretic approach to linear temporal logic

Decidability results in automata and process theory

Logics for Concurrency - Lecture Notes in Computer Science
Latest Publications