Sciweavers

84 search results - page 1 / 17

» corr 2009

7

CORR
2009
Springer

63views Education» more CORR 2009»

Integrated Structure and Semantics for Reo Connectors and Petri Nets

13 years 2 months ago

Integrated Structure and Semantics for Reo Connectors and Petri Nets

Download homepages.cwi.nl

Christian Krause

claim paper

Read More »

9

CORR
2009
Springer

54views Education» more CORR 2009»

Session Types at the Mirror

13 years 2 months ago

Session Types at the Mirror

Download www.di.unito.it

Luca Padovani

claim paper

Read More »

8

CORR
2009
Springer

64views Education» more CORR 2009»

A non-interleaving process calculus for multi-party synchronisation

13 years 2 months ago

A non-interleaving process calculus for multi-party synchronisation

Download users.ecs.soton.ac.uk

Pawel Sobocinski

claim paper

Read More »

8

CORR
2009
Springer

59views Education» more CORR 2009»

Markovian Testing Equivalence and Exponentially Timed Internal Actions

13 years 2 months ago

Markovian Testing Equivalence and Exponentially Timed Internal Actions

Download www.sti.uniurb.it

Marco Bernardo

claim paper

Read More »

6

CORR
2009
Springer

108views Education» more CORR 2009»

Adaptive Process Management in Highly Dynamic and Pervasive Scenarios

13 years 9 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 »