A Distributed Semantics for EMPA Based on Stochastic Contextual Nets
Open Access
- 1 January 1995
- journal article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 38 (7) , 492-509
- https://doi.org/10.1093/comjnl/38.7.492
Abstract
Extended Markovian Process Algebra (EMPA) is a stochastic process algebra equipped with an interleaving semantics, a Markovian semantics and a net semantics. The main drawback of its net semantics is that is usually associates huge nets with EMPA terms. Here we propose a new net semantics, based on contextual nets, in order to obtain more compact net representations for EMPA terms.Keywords
This publication has 0 references indexed in Scilit: