CONCUR 1995 | Sciweavers

35

click to vote

CONCUR
1995
Springer

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

A Complete Theory of Deterministic Event Structures

14 years 4 months ago

Download wwwhome.cs.utwente.nl

Arend Rensink

claim paper

Read More »

28

click to vote

CONCUR
1995
Springer

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

Characterizing Behavioural Congruences for Petri Nets

14 years 4 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 »

40

click to vote

CONCUR
1995
Springer

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

Compositional Model Checking of Real Time Systems

14 years 4 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen

claim paper

Read More »

29

click to vote

CONCUR
1995
Springer

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

Fibrational Control Structures

14 years 4 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 »

34

click to vote

CONCUR
1995
Springer

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

Bisimulations for a Calculus of Broadcasting Systems

14 years 4 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 »

34

click to vote

CONCUR
1995
Springer

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

Delayed choice for process algebra with abstraction

14 years 4 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper