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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11576/1891842
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact