Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

June 20, 2007 14:14 WSPC -Proceedings Trim Size: 9in x 6in ictcs2007 Weak Markovian Bisimilarity

Summary: June 20, 2007 14:14 WSPC - Proceedings Trim Size: 9in x 6in ictcs2007
Weak Markovian Bisimilarity:
Abstracting from Prioritized/Weighted
Internal Immediate Actions
Marco Bernardo and Alessandro Aldini
Universita di Urbino \Carlo Bo" { Italy
Markovian process calculi constitute a useful framework for reasoning about the
functional and performance aspects of concurrent systems. This is achieved by
means of behavioral equivalences that take into account both the action names
and their exponentially distributed durations. A notable extension to the ex-
pressiveness of Markovian process calculi derives from the adoption of GSPN-
like immediate actions, i.e. actions with a zero duration and equipped with a
priority level and a weight. Since internal immediate actions are unobservable
both from the functional viewpoint and from the performance viewpoint, in this
paper we tackle the problem of de ning a weak variant of Markovian bisimilar-
ity that abstracts from such actions. We show that the proposed equivalence
is a congruence and admits a sound and complete axiomatization for the class
of well-prioritized process terms.
1. Introduction


Source: Aldini, Alessandro - Dipartimento di Matematica, Fisica e Informatica, Universita’ di Urbino "Carlo Bo"


Collections: Computer Technologies and Information Sciences