EMPA is a process algebra supporting three different kinds of actions: exponentially timed actions, prioritised weighted immediate actions, and passive actions. We report some considerations and examples about their coexistence, with respect to both the resulting expressiveness and the underlying theory. We show that a good trade off between expressiveness and theory has been achieved: the expressiveness is considerable while the theory remains relatively simple.
On the Coexistence of Exponential, Immediate and Passive Actions in EMPA
Bernardo, Marco
1996
Abstract
EMPA is a process algebra supporting three different kinds of actions: exponentially timed actions, prioritised weighted immediate actions, and passive actions. We report some considerations and examples about their coexistence, with respect to both the resulting expressiveness and the underlying theory. We show that a good trade off between expressiveness and theory has been achieved: the expressiveness is considerable while the theory remains relatively simple.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.
