Evolvable concurrent processes

Authors:
Masaki Murakami
Affiliations:
Department of Information and Communication Systems, Graduate School of Natural Science & Technology, Okayama University, Japan
Venue:
Computer Standards & Interfaces - Special issue: Adaptable software architectures
Year:
2003

Citing 5
Cited 1

Linear logic

Theoretical Computer Science
Communication and concurrency

Communication and concurrency
Linear logic

ACM SIGACT News
Computational interpretations of linear logic

Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus

A model of runtime transformation for distributed systems based on directed acyclic graph model

Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Adaptable system/Software architectures

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a formal model of concurrent processes whose functions can be modified from the environments during execution. In many applications, it takes too much cost to stop the whole of the concurrent system working in distributed environments to update its components. Features of dynamic evolution that make it possible to modify functions of processes without termination are important. In this paper, a formal model of evolvable concurrent processes is presented using logical formulas of linear logic. The operational semantics is defined using a formal proof in a fragment of the sequent calculus of linear logic. A method for replacing the continuations of working processes by applications of inference rules of linear logic is presented.