Learn More
<i>Session-based concurrency</i> is a type-based approach to the analysis of communication-intensive systems. Correct behavior in these systems may be specified in an <i>operational</i> or <i>declarative</i> style: the former defines how interactions are structured; the latter defines governing conditions. In this paper, we investigate the relationship(More)
Many distributed software systems are communication-cen-tric: they are composed of heterogeneous software artifacts that interact following precise communication structures (protocols). One much-studied approach to system analysis equips process calculi with behavioral types (such as session types) so to abstract protocols and verify interacting programs.(More)
  • 1