CONCUR 1995 | Sciweavers

19

click to vote

CONCUR
1995
Springer

90views Distributed And Parallel Com...» more CONCUR 1995»

A Complete Theory of Deterministic Event Structures

13 years 11 months ago

Download wwwhome.cs.utwente.nl

Arend Rensink

claim paper

Read More »

20

click to vote

CONCUR
1995
Springer

106views Distributed And Parallel Com...» more CONCUR 1995»

Characterizing Behavioural Congruences for Petri Nets

13 years 11 months ago

Download eprints.ecs.soton.ac.uk

Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...

Mogens Nielsen, Lutz Priese, Vladimiro Sassone

claim paper

Read More »

25

click to vote

CONCUR
1995
Springer

140views Distributed And Parallel Com...» more CONCUR 1995»

Compositional Model Checking of Real Time Systems

13 years 11 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

16

click to vote

CONCUR
1995
Springer

123views Distributed And Parallel Com...» more CONCUR 1995»

Fibrational Control Structures

13 years 11 months ago

Download basics.sjtu.edu.cn

We provide a category theoretic reformulation of control structures, which avoids explicit reference to names. The basis of the formulation is what we call a binding structure, wh...

Claudio Hermida, John Power

claim paper

Read More »

20

click to vote

CONCUR
1995
Springer

119views Distributed And Parallel Com...» more CONCUR 1995»

Bisimulations for a Calculus of Broadcasting Systems

13 years 11 months ago

Download users.ecs.soton.ac.uk

We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence we study are justi ed in terms of a cha...

Matthew Hennessy, Julian Rathke

claim paper

Read More »

22

click to vote

CONCUR
1995
Springer

124views Distributed And Parallel Com...» more CONCUR 1995»

Delayed choice for process algebra with abstraction

13 years 11 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper