Extended Markovian Process Algebra (EMPA) is a process algebra suitable for expressing functional and performance aspects of concurrent systems. It is equipped with an operational interleaving semantics, a functional semantics, a Markovian semantics and an operational net semantics. In this paper we apply an integrated approach based on EMPA for modeling and analyzing concurrent systems to the Dining Philosophers problem. The problem is firstly described by an EMPA term and then it is studied on the semantic models associated with the term.
Extended Markovian Process Algebra: A Case Study
Bernardo, Marco
1995
Abstract
Extended Markovian Process Algebra (EMPA) is a process algebra suitable for expressing functional and performance aspects of concurrent systems. It is equipped with an operational interleaving semantics, a functional semantics, a Markovian semantics and an operational net semantics. In this paper we apply an integrated approach based on EMPA for modeling and analyzing concurrent systems to the Dining Philosophers problem. The problem is firstly described by an EMPA term and then it is studied on the semantic models associated with the term.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
