A graphical structure rewriting model 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 the capabilities of higher-order communication. That is a translation of the asynchronous higher order π-calculus into a graph rewriting model. A new operation, code streaming is introduced. Code streaming is performed by the pair of a stream and an input process. An input process consists of an input stream and behaviours. It can perform the receiving of a higher-order structure and the execution of the behaviours in parallel. The input process can execute a fragment of the received code before the transfer completes. The calculus models computations transferring mobile codes and links on a wide-area network in asynchronous manner. A set of reaction rules is presented for the operational semantics.

Original languageEnglish
Title of host publication2013 3rd International Conference on Innovative Computing Technology, INTECH 2013
Pages526-531
Number of pages6
DOIs
Publication statusPublished - 2013
Event2013 3rd International Conference on Innovative Computing Technology, INTECH 2013 - London, United Kingdom
Duration: Aug 29 2013Aug 31 2013

Other

Other2013 3rd International Conference on Innovative Computing Technology, INTECH 2013
CountryUnited Kingdom
CityLondon
Period8/29/138/31/13

Fingerprint

Model structures
Communication
Wide area networks
Semantics

ASJC Scopus subject areas

  • Management of Technology and Innovation

Cite this

Murakami, M. (2013). A graphical structure rewriting model for concurrent system with higher-order streaming communication. In 2013 3rd International Conference on Innovative Computing Technology, INTECH 2013 (pp. 526-531). [6653636] https://doi.org/10.1109/INTECH.2013.6653636

A graphical structure rewriting model for concurrent system with higher-order streaming communication. / Murakami, Masaki.

2013 3rd International Conference on Innovative Computing Technology, INTECH 2013. 2013. p. 526-531 6653636.

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

Murakami, M 2013, A graphical structure rewriting model for concurrent system with higher-order streaming communication. in 2013 3rd International Conference on Innovative Computing Technology, INTECH 2013., 6653636, pp. 526-531, 2013 3rd International Conference on Innovative Computing Technology, INTECH 2013, London, United Kingdom, 8/29/13. https://doi.org/10.1109/INTECH.2013.6653636
Murakami M. A graphical structure rewriting model for concurrent system with higher-order streaming communication. In 2013 3rd International Conference on Innovative Computing Technology, INTECH 2013. 2013. p. 526-531. 6653636 https://doi.org/10.1109/INTECH.2013.6653636
Murakami, Masaki. / A graphical structure rewriting model for concurrent system with higher-order streaming communication. 2013 3rd International Conference on Innovative Computing Technology, INTECH 2013. 2013. pp. 526-531
@inproceedings{3b224b4040054d959371207d3a2aa95a,
title = "A graphical structure rewriting model for concurrent system with higher-order streaming communication",
abstract = "This paper presents a formal model of concurrent system that is equipped with the capabilities of higher-order communication. That is a translation of the asynchronous higher order π-calculus into a graph rewriting model. A new operation, code streaming is introduced. Code streaming is performed by the pair of a stream and an input process. An input process consists of an input stream and behaviours. It can perform the receiving of a higher-order structure and the execution of the behaviours in parallel. The input process can execute a fragment of the received code before the transfer completes. The calculus models computations transferring mobile codes and links on a wide-area network in asynchronous manner. A set of reaction rules is presented for the operational semantics.",
author = "Masaki Murakami",
year = "2013",
doi = "10.1109/INTECH.2013.6653636",
language = "English",
isbn = "9781479900473",
pages = "526--531",
booktitle = "2013 3rd International Conference on Innovative Computing Technology, INTECH 2013",

}

TY - GEN

T1 - A graphical structure rewriting model for concurrent system with higher-order streaming communication

AU - Murakami, Masaki

PY - 2013

Y1 - 2013

N2 - This paper presents a formal model of concurrent system that is equipped with the capabilities of higher-order communication. That is a translation of the asynchronous higher order π-calculus into a graph rewriting model. A new operation, code streaming is introduced. Code streaming is performed by the pair of a stream and an input process. An input process consists of an input stream and behaviours. It can perform the receiving of a higher-order structure and the execution of the behaviours in parallel. The input process can execute a fragment of the received code before the transfer completes. The calculus models computations transferring mobile codes and links on a wide-area network in asynchronous manner. A set of reaction rules is presented for the operational semantics.

AB - This paper presents a formal model of concurrent system that is equipped with the capabilities of higher-order communication. That is a translation of the asynchronous higher order π-calculus into a graph rewriting model. A new operation, code streaming is introduced. Code streaming is performed by the pair of a stream and an input process. An input process consists of an input stream and behaviours. It can perform the receiving of a higher-order structure and the execution of the behaviours in parallel. The input process can execute a fragment of the received code before the transfer completes. The calculus models computations transferring mobile codes and links on a wide-area network in asynchronous manner. A set of reaction rules is presented for the operational semantics.

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

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

U2 - 10.1109/INTECH.2013.6653636

DO - 10.1109/INTECH.2013.6653636

M3 - Conference contribution

AN - SCOPUS:84891081758

SN - 9781479900473

SP - 526

EP - 531

BT - 2013 3rd International Conference on Innovative Computing Technology, INTECH 2013

ER -