A generalized deadlock-free process calculus

Eijiro Sumii, Naoki Kobayashi

Research output: Contribution to journalConference article

16 Citations (Scopus)

Abstract

Deadlock is one of the most serious problems in concurrent programming. Recently, Kobayashi proposed a static type system for a process calculus which ensures that communication over some special channels never causes deadlock. However, since the class of such channels was fixed ad hoc by the type system, the deadlock-free fragment of the calculus was limited and the essence of the type system was not so clear. In this paper, we generalize his type system in order to extend the deadlock-free part of his calculus. For that purpose, we annotate each channel type with an expression called a usage, which specifies how the channel can and must be used. It is automatically checked by the type system that the usage does not cause deadlock and that the channel is indeed used along the specification. As a result, the deadlock-freedom property is treated more uniformly and guaranteed more extensively.

Original languageEnglish
Pages (from-to)225-247
Number of pages23
JournalElectronic Notes in Theoretical Computer Science
Volume16
Issue number3
DOIs
Publication statusPublished - 1998 Dec 1
Externally publishedYes
EventHLCL '98, 3rd International Workshop on High-Level Concurrent Languages (Satellite Workshop of CONCUR '98) - Nice, France
Duration: 1998 Sep 121998 Sep 12

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A generalized deadlock-free process calculus'. Together they form a unique fingerprint.

  • Cite this