Sciweavers

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 »

124

click to vote

CONCUR
1995
Springer

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

Delayed choice for process algebra with abstraction

15 years 7 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

123

click to vote

CONCUR
1995
Springer

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

A Complete Theory of Deterministic Event Structures

15 years 7 months ago

Download wwwhome.cs.utwente.nl

Arend Rensink

claim paper

Read More »

115

click to vote

CONCUR
1995
Springer

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

Characterizing Behavioural Congruences for Petri Nets

15 years 7 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 »

All Subjects

Algorithms

Applied Computing

Artificial Intelligence