Work

Lightening Global Types

Year: 2014

Type: article

Abstract: Global session types prevent participants from waiting for never coming messages. Some interactions take place just for the purpose of informing receivers that some message will never arrive or the session is terminated. By decomposing a big global type into several light global types, one can avoid such kind of redundant interactions. Lightening global types gives us cleaner global types, which keep all necessary communications. This work proposes a framework which allows to easily decompose global types into light global types, preserving the interaction sequences of the original ones but for redundant interactions.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.155.6

Author: Tzu-chun Chen

Institution: University of Turin

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W1523196802

FWCI: 0.328

Cites: 20

Cited by: 1

Related to: