Workshops in Computing - Semantics for Concurrency
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

Workshops in Computing - Semantics for Concurrency ◽

10.1007/978-1-4471-3860-0_7 ◽

1990 ◽

pp. 96-115

Author(s):

S. L. Bloom ◽

Z. Ésik ◽

D. Taubner

Download Full-text

Negations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints

Workshops in Computing - Semantics for Concurrency ◽

10.1007/978-1-4471-3860-0_5 ◽

1990 ◽

pp. 61-80 ◽

Cited By ~ 9

Author(s):

F. P. M. Dignum ◽

J.-J. Ch. Meyer

Keyword(s):

Integrity Constraints

Download Full-text

A Denotational Semantics for Synchronous and Asynchronous Behavior with Multiform Time

Workshops in Computing - Semantics for Concurrency ◽

10.1007/978-1-4471-3860-0_3 ◽

1990 ◽

pp. 21-37 ◽

Cited By ~ 1

Author(s):

Marly Roncken ◽

Rob Gerth

Keyword(s):

Denotational Semantics

Download Full-text

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

Workshops in Computing - Semantics for Concurrency ◽

10.1007/978-1-4471-3860-0_13 ◽

1990 ◽

pp. 204-221 ◽

Cited By ~ 3

Author(s):

Joost Engelfriet ◽

George Leih ◽

Grzegorz Rozenberg

Keyword(s):

Petri Nets ◽

Object Based

Download Full-text

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

Workshops in Computing - Semantics for Concurrency ◽

10.1007/978-1-4471-3860-0_11 ◽

1990 ◽

pp. 175-184

Author(s):

David B. Benson ◽

Prakash Panangaden ◽

James R. Russell

Keyword(s):

Fixed Point ◽

Fixed Point Theory ◽

Point Theory

Download Full-text

A Simple Generalization of Kahn’s Principle to Indeterminate Dataflow Networks

Workshops in Computing - Semantics for Concurrency ◽

10.1007/978-1-4471-3860-0_10 ◽

1990 ◽

pp. 157-174 ◽

Cited By ~ 7

Author(s):

Eugene W. Stark

Keyword(s):

Simple Generalization ◽

Dataflow Networks

Download Full-text

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

Workshops in Computing - Semantics for Concurrency ◽

10.1007/978-1-4471-3860-0_9 ◽

1990 ◽

pp. 137-156 ◽

Cited By ~ 4

Author(s):

Jeremy Gunawardena

Download Full-text

On Global-Time and Inter-process Communication

Workshops in Computing - Semantics for Concurrency ◽

10.1007/978-1-4471-3860-0_19 ◽

1990 ◽

pp. 311-323 ◽

Cited By ~ 13

Author(s):

Uri Abraham ◽

Shai Ben-David ◽

Menachem Magidor

Keyword(s):

Process Communication ◽

Global Time ◽

Inter Process Communication

Download Full-text

Defining Conditional Independence Using Collapses

Workshops in Computing - Semantics for Concurrency ◽

10.1007/978-1-4471-3860-0_16 ◽

1990 ◽

pp. 262-280 ◽

Cited By ~ 11

Author(s):

Shmuel Katz ◽

Doron Peled

Keyword(s):

Conditional Independence

Download Full-text

Experimenting with Process Equivalence

Workshops in Computing - Semantics for Concurrency ◽

10.1007/978-1-4471-3860-0_6 ◽

1990 ◽

pp. 81-95 ◽

Cited By ~ 5

Author(s):

Bard Bloom ◽

Albert R. Meyer

Download Full-text

Workshops in Computing - Semantics for ConcurrencyLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer London

Iteration Theories of Synchronization Trees

Negations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints

A Denotational Semantics for Synchronous and Asynchronous Behavior with Multiform Time

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

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

A Simple Generalization of Kahn’s Principle to Indeterminate Dataflow Networks

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

On Global-Time and Inter-process Communication

Defining Conditional Independence Using Collapses

Experimenting with Process Equivalence

Workshops in Computing - Semantics for Concurrency
Latest Publications