A calculus for concurrent system with higher-order streaming communication

Authors:
Masaki Murakami
Affiliations:
Department of Information and Communication Systems, Graduate School of Natural Science and Technology, Okayama University, Tsushima-Naka, Okayama, Japan
Venue:
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
Year:
2005

Citing 7
Cited 0

Communication and concurrency

Communication and concurrency
&pgr;-calculus, internal mobility, and agent-passing calculi

TAPSOFT '95 Selected papers from the 6th international joint conference on Theory and practice of software development
Bisimulation for higher-order process calculi

Information and Computation
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Asynchronous process calculi: the first-and higher-order paradigms

Theoretical Computer Science - Special issues on models and paradigms for concurrency
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract)

TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a formal model of concunent 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 (1ts) is presented for the operational semantics. Equivalence relations based on the 1ts are introduced. The equivalences are based on the idea of barbed bisimulation that is suitable for non-atomic/asynchronous communicating systems.