A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540580430, 9783540484233

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification tools for finite-state concurrent systems

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science ◽

10.1007/3-540-58043-3_19 ◽

1994 ◽

pp. 124-175 ◽

Cited By ~ 79

Author(s):

E. Clarke ◽

O. Grumberg ◽

D. Long

Keyword(s):

Concurrent Systems ◽

Finite State ◽

Verification Tools

Download Full-text

Linear logic on Petri nets

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science ◽

10.1007/3-540-58043-3_20 ◽

1994 ◽

pp. 176-229 ◽

Cited By ~ 4

Author(s):

Uffe Engberg ◽

Glynn Winskel

Keyword(s):

Petri Nets ◽

Linear Logic

Download Full-text

Partial order based design of concurrent systems

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science ◽

10.1007/3-540-58043-3_30 ◽

1994 ◽

pp. 622-684 ◽

Cited By ~ 6

Author(s):

Job Zwiers ◽

Wil Janssen

Keyword(s):

Partial Order ◽

Concurrent Systems

Download Full-text

Interaction diagrams

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science ◽

10.1007/3-540-58043-3_26 ◽

1994 ◽

pp. 477-508 ◽

Cited By ~ 2

Author(s):

Joachim Parrow

Download Full-text

An introduction to the theoretical aspects of Coloured Petri Nets

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science ◽

10.1007/3-540-58043-3_21 ◽

1994 ◽

pp. 230-272 ◽

Cited By ~ 127

Author(s):

Kurt Jensen

Keyword(s):

Petri Nets ◽

Coloured Petri Nets

Download Full-text

Simulation techniques for proving properties of real-time systems

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science ◽

10.1007/3-540-58043-3_24 ◽

1994 ◽

pp. 375-424 ◽

Cited By ~ 6

Author(s):

Nancy Lynch

Keyword(s):

Real Time ◽

Real Time Systems ◽

Simulation Techniques ◽

Time Systems

Download Full-text

Initial algebra and final coalgebra semantics for concurrency

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science ◽

10.1007/3-540-58043-3_28 ◽

1994 ◽

pp. 530-582 ◽

Cited By ~ 35

Author(s):

Jan Rutten ◽

Daniele Turi

Keyword(s):

Initial Algebra

Download Full-text

Relationships between models of concurrency

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science ◽

10.1007/3-540-58043-3_25 ◽

1994 ◽

pp. 425-476 ◽

Cited By ~ 13

Author(s):

Mogens Nielsen ◽

Vladimiro Sassone ◽

Glynn Winskel

Keyword(s):

Models Of Concurrency

Download Full-text

Verification and specification of concurrent programs

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science ◽

10.1007/3-540-58043-3_23 ◽

1994 ◽

pp. 347-374 ◽

Cited By ~ 11

Author(s):

Leslie Lamport

Keyword(s):

Concurrent Programs

Download Full-text

Temporal verification of simulation and refinement

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science ◽

10.1007/3-540-58043-3_22 ◽

1994 ◽

pp. 273-346 ◽

Cited By ~ 25

Author(s):

Yonit Kesten ◽

Zohar Manna ◽

Amir Pnueli

Download Full-text

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Verification tools for finite-state concurrent systems

Linear logic on Petri nets

Partial order based design of concurrent systems

Interaction diagrams

An introduction to the theoretical aspects of Coloured Petri Nets

Simulation techniques for proving properties of real-time systems

Initial algebra and final coalgebra semantics for concurrency

Relationships between models of concurrency

Verification and specification of concurrent programs

Temporal verification of simulation and refinement

A Decade of Concurrency Reflections and Perspectives - Lecture Notes in Computer Science
Latest Publications