Structures in Concurrency Theory - Workshops in Computing
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer London

9783540199823, 9781447130789

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Partial Order Semantics and Weak Fairness

Structures in Concurrency Theory - Workshops in Computing ◽

10.1007/978-1-4471-3078-9_23 ◽

1995 ◽

pp. 341-350

Author(s):

Walter Vogler

Keyword(s):

Partial Order ◽

Partial Order Semantics

Download Full-text

Failure-based Equivalences Are Faster Than Many Believe

Structures in Concurrency Theory - Workshops in Computing ◽

10.1007/978-1-4471-3078-9_22 ◽

1995 ◽

pp. 326-340 ◽

Author(s):

Antti Valmari

Download Full-text

On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes

Structures in Concurrency Theory - Workshops in Computing ◽

10.1007/978-1-4471-3078-9_19 ◽

1995 ◽

pp. 279-293 ◽

Author(s):

Laura Recalde ◽

Enrique Teruel ◽

Manuel Silva

Keyword(s):

Deterministic Systems ◽

Sequential Processes

Download Full-text

A Local Presentation of Synchronizing Systems

Structures in Concurrency Theory - Workshops in Computing ◽

10.1007/978-1-4471-3078-9_18 ◽

1995 ◽

pp. 264-278 ◽

Author(s):

R. Ramanujam

Download Full-text

Sequentiality by Linear Implication and Universal Quantification

Structures in Concurrency Theory - Workshops in Computing ◽

10.1007/978-1-4471-3078-9_11 ◽

1995 ◽

pp. 160-174 ◽

Author(s):

Alessio Guglielmi

Keyword(s):

Universal Quantification

Download Full-text

The Three Dimensions of Semantics

Structures in Concurrency Theory - Workshops in Computing ◽

10.1007/978-1-4471-3078-9_1 ◽

1995 ◽

pp. 1-1

Author(s):

J. W. de Bakker

Keyword(s):

Three Dimensions

Download Full-text

Orbits, half-frozen tokens and the liveness of weighted circuits

Structures in Concurrency Theory - Workshops in Computing ◽

10.1007/978-1-4471-3078-9_8 ◽

1995 ◽

pp. 116-128 ◽

Author(s):

Piotr Chrz̧stowski-Wachtel ◽

Marek Raczunas

Download Full-text

Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications

Structures in Concurrency Theory - Workshops in Computing ◽

10.1007/978-1-4471-3078-9_3 ◽

1995 ◽

pp. 32-54 ◽

Author(s):

E.-R. Olderog ◽

M. Schenke

Keyword(s):

Real Time ◽

Real Time Systems ◽

Duration Calculus ◽

Download Full-text

On the Computation of Place Invariants for Algebraic Petri Nets

Structures in Concurrency Theory - Workshops in Computing ◽

10.1007/978-1-4471-3078-9_21 ◽

1995 ◽

pp. 310-325 ◽

Author(s):

Karsten Schmidt

Keyword(s):

Download Full-text

CALIBAN - Esprit Basic Research WG 6067

Structures in Concurrency Theory - Workshops in Computing ◽

10.1007/978-1-4471-3078-9_2 ◽

1995 ◽

pp. 2-31

Author(s):

Eike Best ◽

Raymond Devillers ◽

Elisabeth Pelz ◽

Arend Rensink ◽

Manuel Silva ◽

...

Keyword(s):

Download Full-text