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.

• Type: Conference
• Year: 2004
• Where: FORTE
• Authors: Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero
• Keywords: Denotational Semantics, FORTE 2004, FORTE 2007, Iteration Operator, Stochastic Petri Nets