Sciweavers

Share
FORTE
2004

Introducing the Iteration in sPBC

9 years 1 months ago
Introducing the Iteration in sPBC
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based on stochastic Petri nets. With this new operator we can model some repetitive behaviours, and then we obtain a formal method that can be easily used for the design of communication protocols and distributed systems.
Hermenegilda Macià, Valentín Valero
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where FORTE
Authors Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero
Comments (0)
books