A Contetxual Transition Semantics for Graphical Concurrent System with Higher-Order Streaming Communication

摘要

This paper presents a labeled transition semantics of formal model of concurrent system that is equipped with the primitives for code streaming. Code streaming is a capability of asynchronous higher-order communication. It 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 programs and the execution of the behaviours in parallel. A fragment of the received program can be executed before the transfer completes. The calculus models computations transferring mobile codes and links on a wide-area network in asynchronous manner. A labeled transition system (LTS) is presented for the operational semantics. We define labels for transitions using contexts of processes. We present a set of rules that derives transitions with contextual labels. We show that the operational semantics defined with the LTS corresponds to the semantics defined with reaction rules. The LTS presented here will be a base for a congruent bisimulation equivalence relation.