A calculus for concurrent system with higher-order streaming communication

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 asynchronous manner. A labeled transition system (Its) is presented for the operational semantics. Equivalence relations based on the Its are intorduced. The equivalences are based on the idea of berbed bisimulation that is suitable for non atomic/asynchronous communicationg systems.

Original languageEnglish
Title of host publicationProceedings of the International Conference on Software Engineering Research and Practice, SERP'04
EditorsH.R. Arabnia, H. Reza
Pages90-96
Number of pages7
Publication statusPublished - Dec 1 2004
EventProceedings of the International Conference on Software Engineering Research and Practice, SERP'04 - Las Vegas, NV, United States
Duration: Jun 21 2004Jun 24 2004

Publication series

NameProceedings of the International Conference on Software Engineering Research and Practice, SERP'04
Volume1

Other

OtherProceedings of the International Conference on Software Engineering Research and Practice, SERP'04
CountryUnited States
CityLas Vegas, NV
Period6/21/046/24/04

    Fingerprint

Keywords

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

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Murakami, M. (2004). A calculus for concurrent system with higher-order streaming communication. In H. R. Arabnia, & H. Reza (Eds.), Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04 (pp. 90-96). (Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04; Vol. 1).