Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540510802, 9783540461470

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An efficient verification method for parallel and distributed programs

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013032 ◽

1989 ◽

pp. 489-507 ◽

Cited By ~ 21

Author(s):

Shmuel Katz ◽

Doron Peled

Keyword(s):

Distributed Programs ◽

Verification Method ◽

Efficient Verification

Download Full-text

Expressibility results for linear-time and branching-time logics

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013029 ◽

1989 ◽

pp. 428-437 ◽

Cited By ~ 33

Author(s):

E. M. Clarke ◽

I. A. Draghicescu

Keyword(s):

Linear Time ◽

Branching Time

Download Full-text

A logic for the description of behaviours and properties of concurrent systems

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013027 ◽

1989 ◽

pp. 398-410 ◽

Cited By ~ 2

Author(s):

A. Bouajjani ◽

S. Graf ◽

J. Sifakis

Keyword(s):

Concurrent Systems

Download Full-text

The anchored version of the temporal framework

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013024 ◽

1989 ◽

pp. 201-284 ◽

Cited By ~ 83

Author(s):

Zohar Manna ◽

Amir Pnueli

Download Full-text

Permutation of transitions: An event structure semantics for CCS and SCCS

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013028 ◽

1989 ◽

pp. 411-427 ◽

Cited By ~ 52

Author(s):

Gérard Boudol ◽

Ilaria Castellani

Keyword(s):

Event Structure

Download Full-text

Time, logic and computation

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013020 ◽

1989 ◽

pp. 1-49 ◽

Cited By ~ 9

Author(s):

Johan van Benthem

Keyword(s):

Time Logic

Download Full-text

A logic for distributed transition systems

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013033 ◽

1989 ◽

pp. 508-522 ◽

Cited By ~ 2

Author(s):

K. Lodaya ◽

R. Ramanujam ◽

P. S. Thiagarajan

Keyword(s):

Transition Systems

Download Full-text

Correctness and full abstraction of metric semantics for concurrency

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013038 ◽

1989 ◽

pp. 628-659 ◽

Cited By ~ 5

Author(s):

J. J. M. M. Rutten

Keyword(s):

Full Abstraction ◽

Metric Semantics

Download Full-text

Fully abstract models for a process language with refinement

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013034 ◽

1989 ◽

pp. 523-548 ◽

Cited By ~ 23

Author(s):

Mogens Nielsen ◽

Uffe Engberg ◽

Kim S. Larsen

Download Full-text

Temporal logics for CCS

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013039 ◽

1989 ◽

pp. 660-672 ◽

Cited By ~ 14

Author(s):

Colin Stirling

Keyword(s):

Temporal Logics

Download Full-text

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An efficient verification method for parallel and distributed programs

Expressibility results for linear-time and branching-time logics

A logic for the description of behaviours and properties of concurrent systems

The anchored version of the temporal framework

Permutation of transitions: An event structure semantics for CCS and SCCS

Time, logic and computation

A logic for distributed transition systems

Correctness and full abstraction of metric semantics for concurrency

Fully abstract models for a process language with refinement

Temporal logics for CCS

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science
Latest Publications