Workshops in Computing - Semantics for Concurrency
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer London

9783540196259, 9781447138600
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Iteration Theories of Synchronization Trees

1990 ◽  
pp. 96-115
Author(s):  
S. L. Bloom ◽  
Z. Ésik ◽  
D. Taubner

Formalizing the Behaviour of Parallel Object-Based Systems by Petri Nets

1990 ◽  
pp. 204-221 ◽  
Author(s):  
Joost Engelfriet ◽  
George Leih ◽  
Grzegorz Rozenberg
Keyword(s):  
Petri Nets ◽  
Object Based

Defining Fair Merge as a Colimit: Towards a Fixed-Point Theory for Indeterminate Dataflow

1990 ◽  
pp. 175-184
Author(s):  
David B. Benson ◽  
Prakash Panangaden ◽  
James R. Russell
Keyword(s):  
Fixed Point ◽  
Fixed Point Theory ◽  
Point Theory

Causal Automata I: Confluence ≡ {AND, OR} Causality

1990 ◽  
pp. 137-156 ◽  
Author(s):  
Jeremy Gunawardena

On Global-Time and Inter-process Communication

1990 ◽  
pp. 311-323 ◽  
Author(s):  
Uri Abraham ◽  
Shai Ben-David ◽  
Menachem Magidor
Keyword(s):  
Process Communication ◽  
Global Time ◽  
Inter Process Communication

Defining Conditional Independence Using Collapses

1990 ◽  
pp. 262-280 ◽  
Author(s):  
Shmuel Katz ◽  
Doron Peled
Keyword(s):  
Conditional Independence

Experimenting with Process Equivalence

1990 ◽  
pp. 81-95 ◽  
Author(s):  
Bard Bloom ◽  
Albert R. Meyer
Load More ...
Sign in / Sign up

Export Citation Format

Share Document