Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By American Mathematical Society

9780821805794, 9781470439873

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A complete axiomatization of a first-order temporal logic over trace systems

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/029/05 ◽

1997 ◽

pp. 79-97

Author(s):

W Penczek ◽

Marian Srebrny

Keyword(s):

Temporal Logic ◽

First Order ◽

Complete Axiomatization

Download Full-text

Elements of an automata theory over partial orders

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/029/02 ◽

1997 ◽

pp. 25-40 ◽

Cited By ~ 9

Author(s):

W Thomas

Keyword(s):

Partial Orders ◽

Automata Theory

Download Full-text

On topological hierarchies of temporal properties

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/029/09 ◽

1997 ◽

pp. 141-170

Author(s):

Ch Baier ◽

M Kwiatkowska

Keyword(s):

Temporal Properties

Download Full-text

A solution of an interleaving decision problem by a partial order technique

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/029/11 ◽

1997 ◽

pp. 203-211 ◽

Cited By ~ 1

Author(s):

Albert Meyer ◽

A Rabinovich

Keyword(s):

Partial Order ◽

Decision Problem

Download Full-text

Presheaves as transition systems

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/029/08 ◽

1997 ◽

pp. 129-140 ◽

Cited By ~ 7

Author(s):

G Winskel ◽

M Nielsen

Keyword(s):

Transition Systems

Download Full-text

Teams can see pomsets

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/029/07 ◽

1997 ◽

pp. 117-128 ◽

Cited By ~ 2

Author(s):

G Plotkin ◽

Vaughan Pratt

Download Full-text

Interleaved progress, concurrent progress, and local progress

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/029/06 ◽

1997 ◽

pp. 99-115 ◽

Cited By ~ 5

Author(s):

W Reisig

Download Full-text

Transition systems with independence and multi-arcs

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/029/15 ◽

1997 ◽

pp. 273-288

Author(s):

Thomas Hildebrandt ◽

Vladimiro Sassone

Keyword(s):

Transition Systems

Download Full-text

Report documentation page

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/029/20 ◽

1997 ◽

pp. 405-405

Author(s):

Doron Peled ◽

Vaughan Pratt ◽

Gerard Holzmann

Download Full-text

Debate ’90: An electronic discussion on true concurrency

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/029/19 ◽

1997 ◽

pp. 359-403 ◽

Cited By ~ 3

Author(s):

Vaughan Pratt

Keyword(s):

True Concurrency

Download Full-text

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By American Mathematical Society

A complete axiomatization of a first-order temporal logic over trace systems

Elements of an automata theory over partial orders

On topological hierarchies of temporal properties

A solution of an interleaving decision problem by a partial order technique

Presheaves as transition systems

Teams can see pomsets

Interleaved progress, concurrent progress, and local progress

Transition systems with independence and multi-arcs

Report documentation page

Debate ’90: An electronic discussion on true concurrency

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Latest Publications