Lecture Notes in Computer Science - Semantics of Concurrent Computation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354009511x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specifying and proving properties of guardians for distributed systems

Lecture Notes in Computer Science - Semantics of Concurrent Computation ◽

10.1007/bfb0022477 ◽

2005 ◽

pp. 316-336 ◽

Cited By ~ 2

Author(s):

Carl Hewitt ◽

Giuseppe Attardi ◽

Henry Lieberman

Keyword(s):

Distributed Systems

Download Full-text

Static analysis of concurrent processes for dynamic properties using Petri Nets

Lecture Notes in Computer Science - Semantics of Concurrent Computation ◽

10.1007/bfb0022464 ◽

2005 ◽

pp. 66-90 ◽

Cited By ~ 3

Author(s):

Otthein Herzog

Keyword(s):

Petri Nets ◽

Static Analysis ◽

Dynamic Properties ◽

Concurrent Processes

Download Full-text

A Petri net definition of a system description language

Lecture Notes in Computer Science - Semantics of Concurrent Computation ◽

10.1007/bfb0022479 ◽

2005 ◽

pp. 348-368 ◽

Cited By ~ 6

Author(s):

Kurt Jensen ◽

Morten Kyng ◽

Ole Lehrmann Madsen

Keyword(s):

Petri Net ◽

Description Language ◽

System Description ◽

Definition Of

Download Full-text

On properties preserved by contractions of concurrent systems

Lecture Notes in Computer Science - Semantics of Concurrent Computation ◽

10.1007/bfb0022463 ◽

2005 ◽

pp. 51-65 ◽

Cited By ~ 1

Author(s):

John S. Gourlay ◽

William C. Rounds ◽

Richard Statman

Keyword(s):

Concurrent Systems

Download Full-text

An extensional treatment of dataflow deadlock

Lecture Notes in Computer Science - Semantics of Concurrent Computation ◽

10.1007/bfb0022475 ◽

2005 ◽

pp. 285-299 ◽

Cited By ~ 3

Author(s):

William W. Wadge

Download Full-text

Denotational semantics of parallelism

Lecture Notes in Computer Science - Semantics of Concurrent Computation ◽

10.1007/bfb0022470 ◽

2005 ◽

pp. 191-202 ◽

Cited By ~ 4

Author(s):

Jerald S. Schwarz

Keyword(s):

Denotational Semantics

Download Full-text

Notion de Dualite et de Symetrie dans les Reseaux de Petri

Lecture Notes in Computer Science - Semantics of Concurrent Computation ◽

10.1007/bfb0022465 ◽

2005 ◽

pp. 91-108 ◽

Cited By ~ 2

Author(s):

Gérard MEMMI

Download Full-text

On achieving distributed termination

Lecture Notes in Computer Science - Semantics of Concurrent Computation ◽

10.1007/bfb0022476 ◽

2005 ◽

pp. 300-315

Author(s):

Nissim Francez

Download Full-text

The analysis of distributed systems by means of predicate/transition-nets

Lecture Notes in Computer Science - Semantics of Concurrent Computation ◽

10.1007/bfb0022467 ◽

2005 ◽

pp. 123-146 ◽

Cited By ~ 51

Author(s):

Hartmann J. Genrich ◽

Kurt Lautenbach

Keyword(s):

Distributed Systems

Download Full-text

On the absence of livelocks in parallel programs

Lecture Notes in Computer Science - Semantics of Concurrent Computation ◽

10.1007/bfb0022469 ◽

2005 ◽

pp. 172-190 ◽

Cited By ~ 13

Author(s):

Y. S. Kwong

Keyword(s):

Parallel Programs

Download Full-text

Lecture Notes in Computer Science - Semantics of Concurrent ComputationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

Specifying and proving properties of guardians for distributed systems

Static analysis of concurrent processes for dynamic properties using Petri Nets

A Petri net definition of a system description language

On properties preserved by contractions of concurrent systems

An extensional treatment of dataflow deadlock

Denotational semantics of parallelism

Notion de Dualite et de Symetrie dans les Reseaux de Petri

On achieving distributed termination

The analysis of distributed systems by means of predicate/transition-nets

On the absence of livelocks in parallel programs

Lecture Notes in Computer Science - Semantics of Concurrent Computation
Latest Publications