Sciweavers

84 search results - page 1 / 17

» corr 2009

109

CORR
2009
Springer

63views Education» more CORR 2009»

Integrated Structure and Semantics for Reo Connectors and Petri Nets

15 years 4 months ago

Integrated Structure and Semantics for Reo Connectors and Petri Nets

Download homepages.cwi.nl

Christian Krause

claim paper

Read More »

110

Voted

CORR
2009
Springer

54views Education» more CORR 2009»

Session Types at the Mirror

15 years 4 months ago

Session Types at the Mirror

Download www.di.unito.it

Luca Padovani

claim paper

Read More »

107

CORR
2009
Springer

64views Education» more CORR 2009»

A non-interleaving process calculus for multi-party synchronisation

15 years 4 months ago

A non-interleaving process calculus for multi-party synchronisation

Download users.ecs.soton.ac.uk

Pawel Sobocinski

claim paper

Read More »

101

CORR
2009
Springer

59views Education» more CORR 2009»

Markovian Testing Equivalence and Exponentially Timed Internal Actions

15 years 4 months ago

Markovian Testing Equivalence and Exponentially Timed Internal Actions

Download www.sti.uniurb.it

Marco Bernardo

claim paper

Read More »

105

Voted

CORR
2009
Springer

108views Education» more CORR 2009»

Adaptive Process Management in Highly Dynamic and Pervasive Scenarios

15 years 11 months ago

Adaptive Process Management in Highly Dynamic and Pervasive Scenarios

Download www.dis.uniroma1.it

Massimiliano de Leoni

claim paper

Read More »

« Prev « First page 1 / 17 Last » Next »