A GSOS for Attribute-based Communication
University of Udine
Abstract: We propose a new GSOS semantics for AbC, a calculus
for attribute-based communication. This semantics is simpler than the
previous ones, but as much as expressive; in fact, we will show that
there is a precise equivalence. The new semantics will be useful for
simplifying bisimulation proofs, and it is preparatory to the
definition of a bialgebraic semantics for AbC.
This is joint work with Matteo Paier.