Conference icon

Conference

On hierarchical communication topologies in the pi-calculus

Abstract:

This paper is concerned with the shape invariants satisfied by the communication topology of π-terms, and the automatic inference of these invariants. A π-term P is hierarchical if there is a finite forest T such that the communication topology of every term reachable from P satisfies a T -shaped invariant. We design a static analysis to prove a term hierarchical by means of a novel type system that enjoys decidable inference. The soundness proof of the type system employs a non-standard view...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Publisher copy:
10.1007/978-3-662-49498-1_7

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
D'Osualdo, E More by this author
Publisher:
Springer Publisher's website
Volume:
LNCS-9632
Pages:
149-175
Publication date:
2016-03-22
DOI:
ISSN:
0302-9743
URN:
uuid:893a71c5-52e5-4a98-9b67-4eda3264c0ae
Source identifiers:
613748
Local pid:
pubs:613748

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP