A calculus for concurrent system with higher-order streaming communication

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

This paper presents a formal model of concurrent system that is equipped with capabilities of sending and receiving higher-order terms. That is a modification of the asynchronous higher-order π-calculus. A new operation, input streaming, is introduced. An input process consists of an input stream and a process P. It can receive a higher-order term t during the execution of P. Input prefix and output process are also modified to represent non-atomic communication. The calculus models computations transferring mobile codes and links on a wide-area network in an asynchronous manner. A labeled transition system (lts) is presented for the operational semantics. Equivalence relations based on the lts are introduced. The equivalences are based on the idea of barbed bisimulation that is suitable for non-atomic/asynchronous communicating systems.

Original languageEnglish
Pages (from-to)61-72
Number of pages12
JournalScience of Computer Programming
Volume57
Issue number1
DOIs
Publication statusPublished - Jul 2005

Fingerprint

Wide area networks
Communication
Semantics

Keywords

  • Asynchronous communication
  • Concurrency
  • Higher-order π-calculus
  • Streaming

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

Cite this

A calculus for concurrent system with higher-order streaming communication. / Murakami, Masaki.

In: Science of Computer Programming, Vol. 57, No. 1, 07.2005, p. 61-72.

Research output: Contribution to journalArticle

@article{f8e92ed60cbb4204b13bf70cdaa9b81c,
title = "A calculus for concurrent system with higher-order streaming communication",
abstract = "This paper presents a formal model of concurrent system that is equipped with capabilities of sending and receiving higher-order terms. That is a modification of the asynchronous higher-order π-calculus. A new operation, input streaming, is introduced. An input process consists of an input stream and a process P. It can receive a higher-order term t during the execution of P. Input prefix and output process are also modified to represent non-atomic communication. The calculus models computations transferring mobile codes and links on a wide-area network in an asynchronous manner. A labeled transition system (lts) is presented for the operational semantics. Equivalence relations based on the lts are introduced. The equivalences are based on the idea of barbed bisimulation that is suitable for non-atomic/asynchronous communicating systems.",
keywords = "Asynchronous communication, Concurrency, Higher-order π-calculus, Streaming",
author = "Masaki Murakami",
year = "2005",
month = "7",
doi = "10.1016/j.scico.2004.10.005",
language = "English",
volume = "57",
pages = "61--72",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",
number = "1",

}

TY - JOUR

T1 - A calculus for concurrent system with higher-order streaming communication

AU - Murakami, Masaki

PY - 2005/7

Y1 - 2005/7

N2 - This paper presents a formal model of concurrent system that is equipped with capabilities of sending and receiving higher-order terms. That is a modification of the asynchronous higher-order π-calculus. A new operation, input streaming, is introduced. An input process consists of an input stream and a process P. It can receive a higher-order term t during the execution of P. Input prefix and output process are also modified to represent non-atomic communication. The calculus models computations transferring mobile codes and links on a wide-area network in an asynchronous manner. A labeled transition system (lts) is presented for the operational semantics. Equivalence relations based on the lts are introduced. The equivalences are based on the idea of barbed bisimulation that is suitable for non-atomic/asynchronous communicating systems.

AB - This paper presents a formal model of concurrent system that is equipped with capabilities of sending and receiving higher-order terms. That is a modification of the asynchronous higher-order π-calculus. A new operation, input streaming, is introduced. An input process consists of an input stream and a process P. It can receive a higher-order term t during the execution of P. Input prefix and output process are also modified to represent non-atomic communication. The calculus models computations transferring mobile codes and links on a wide-area network in an asynchronous manner. A labeled transition system (lts) is presented for the operational semantics. Equivalence relations based on the lts are introduced. The equivalences are based on the idea of barbed bisimulation that is suitable for non-atomic/asynchronous communicating systems.

KW - Asynchronous communication

KW - Concurrency

KW - Higher-order π-calculus

KW - Streaming

UR - http://www.scopus.com/inward/record.url?scp=19044385164&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=19044385164&partnerID=8YFLogxK

U2 - 10.1016/j.scico.2004.10.005

DO - 10.1016/j.scico.2004.10.005

M3 - Article

VL - 57

SP - 61

EP - 72

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

IS - 1

ER -