Mauricio Cano

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
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)
  • 1