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 - Dec 31 2013
Event2013 3rd International Conference on Innovative Computing Technology, INTECH 2013 - London, United Kingdom
Duration: Aug 29 2013Aug 31 2013

Publication series

Name2013 3rd International Conference on Innovative Computing Technology, INTECH 2013

Other

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

ASJC Scopus subject areas

  • Management of Technology and Innovation

Fingerprint Dive into the research topics of 'A graphical structure rewriting model for concurrent system with higher-order streaming communication'. Together they form a unique fingerprint.

Cite this