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

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

3

(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 ◽

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

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

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 ◽

Author(s):

Pierpaolo Degano ◽

Rocco Nicola ◽

Ugo Montanari

Keyword(s):

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 ◽

Author(s):

Jean-Yves Girard

Keyword(s):

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 ◽

Author(s):

Egidio Astesiano ◽

Gianna Reggio

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 ◽

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 ◽

Author(s):

Manfred Broy ◽

Thomas Streicher

Keyword(s):

Distributed Systems

Download Full-text