CORR 2009 | Sciweavers

20

click to vote

CORR
2009
Springer

59views Education» more CORR 2009»

Markovian Testing Equivalence and Exponentially Timed Internal Actions

13 years 9 months ago

Download www.sti.uniurb.it

Marco Bernardo

claim paper

Read More »

58

click to vote

CORR
2009
Springer

242views Education» more CORR 2009»

Adaptive Scheduling of Data Paths using Uppaal Tiga

13 years 9 months ago

Download www.win.tue.nl

Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...

Israa AlAttili, Fred Houben, Georgeta Igna, Steffe...

claim paper

Read More »

18

click to vote

CORR
2009
Springer

64views Education» more CORR 2009»

A non-interleaving process calculus for multi-party synchronisation

13 years 9 months ago

Download users.ecs.soton.ac.uk

Pawel Sobocinski

claim paper

Read More »

16

click to vote

CORR
2009
Springer

62views Education» more CORR 2009»

Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

13 years 9 months ago

Download www.cs.le.ac.uk

Paolo Torrini, Reiko Heckel

claim paper

Read More »

16

click to vote

CORR
2009
Springer

54views Education» more CORR 2009»

Session Types at the Mirror

13 years 9 months ago

Download www.di.unito.it

Luca Padovani

claim paper

Read More »

22

click to vote

CORR
2009
Springer

63views Education» more CORR 2009»

Integrated Structure and Semantics for Reo Connectors and Petri Nets

13 years 9 months ago

Download homepages.cwi.nl

Christian Krause

claim paper

Read More »

45

click to vote

CORR
2009
Springer

137views Education» more CORR 2009»

Choreographies with Secure Boxes and Compromised Principals

13 years 9 months ago

Download web.cs.wpi.edu

We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "boxes&quo...

Marco Carbone, Joshua D. Guttman

claim paper

Read More »

15

click to vote

CORR
2009
Springer

80views Education» more CORR 2009»

A Type System for a Stochastic CLS

13 years 9 months ago

Download www.di.unito.it

claim that types are the right abstraction in order to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through a...

Mariangiola Dezani-Ciancaglini, Paola Giannini, An...

claim paper

Read More »

20

click to vote

CORR
2009
Springer

99views Education» more CORR 2009»

A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA

13 years 9 months ago