Mathematical Models for the Semantics of Parallelism - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540184195, 9783540479604

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Testing equivalences for event structures

Mathematical Models for the Semantics of Parallelism - Lecture Notes in Computer Science ◽

10.1007/3-540-18419-8_9 ◽

1987 ◽

pp. 1-20 ◽

Cited By ~ 14

Author(s):

Luca Aceto ◽

Rocco Nicola ◽

Alessandro Fantechi

Keyword(s):

Event Structures

Download Full-text

Universal models in categories for process synchronization

Mathematical Models for the Semantics of Parallelism - Lecture Notes in Computer Science ◽

10.1007/3-540-18419-8_15 ◽

1987 ◽

pp. 183-198

Author(s):

Anna Labella ◽

Alberto Pettorossi

Keyword(s):

Process Synchronization ◽

Universal Models

Download Full-text

CCS is an (augmented) contact free C/E system

Mathematical Models for the Semantics of Parallelism - Lecture Notes in Computer Science ◽

10.1007/3-540-18419-8_13 ◽

1987 ◽

pp. 144-165 ◽

Cited By ~ 15

Author(s):

Pierpaolo Degano ◽

Rocco Nicola ◽

Ugo Montanari

Keyword(s):

Contact Free

Download Full-text

On axiomatic defintion of max-model of concurrency

Mathematical Models for the Semantics of Parallelism - Lecture Notes in Computer Science ◽

10.1007/3-540-18419-8_16 ◽

1987 ◽

pp. 199-230

Author(s):

Grazyna Mirkowska ◽

Andrzej Salwicki

Download Full-text

An outline of the SMoLCS approach

Mathematical Models for the Semantics of Parallelism - Lecture Notes in Computer Science ◽

10.1007/3-540-18419-8_11 ◽

1987 ◽

pp. 81-113 ◽

Cited By ~ 9

Author(s):

Egidio Astesiano ◽

Gianna Reggio

Download Full-text

Linear logic and parallelism

Mathematical Models for the Semantics of Parallelism - Lecture Notes in Computer Science ◽

10.1007/3-540-18419-8_14 ◽

1987 ◽

pp. 166-182 ◽

Cited By ~ 3

Author(s):

Jean-Yves Girard

Keyword(s):

Linear Logic

Download Full-text

Designing equivalent semantic models for process creation

Mathematical Models for the Semantics of Parallelism - Lecture Notes in Computer Science ◽

10.1007/3-540-18419-8_10 ◽

1987 ◽

pp. 21-80 ◽

Cited By ~ 1

Author(s):

Pierre America ◽

Jaco Bakker

Keyword(s):

Process Creation ◽

Semantic Models

Download Full-text

Views of distributed systems

Mathematical Models for the Semantics of Parallelism - Lecture Notes in Computer Science ◽

10.1007/3-540-18419-8_12 ◽

1987 ◽

pp. 114-143 ◽

Cited By ~ 3

Author(s):

Manfred Broy ◽

Thomas Streicher

Keyword(s):

Distributed Systems

Download Full-text

Mathematical Models for the Semantics of Parallelism - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Testing equivalences for event structures

Universal models in categories for process synchronization

CCS is an (augmented) contact free C/E system

On axiomatic defintion of max-model of concurrency

An outline of the SMoLCS approach

Linear logic and parallelism

Designing equivalent semantic models for process creation

Views of distributed systems

Mathematical Models for the Semantics of Parallelism - Lecture Notes in Computer Science
Latest Publications