Evolvable concurrent processes

Research output: Contribution to journalArticle

1 Citation (Scopus)

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.

Original languageEnglish
Pages (from-to)233-239
Number of pages7
JournalComputer Standards and Interfaces
Volume25
Issue number3
DOIs
Publication statusPublished - Jun 2003

Fingerprint

logic
working process
Semantics
semantics
Costs
costs
Logic
Formal model

Keywords

  • Concurrent processes
  • Dynamic evolution
  • Linear logic

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Computer Science Applications
  • Software
  • Information Systems and Management

Cite this

Evolvable concurrent processes. / Murakami, Masaki.

In: Computer Standards and Interfaces, Vol. 25, No. 3, 06.2003, p. 233-239.

Research output: Contribution to journalArticle

@article{5b0564b62ccd491baa75f80527358abd,
title = "Evolvable concurrent processes",
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.",
keywords = "Concurrent processes, Dynamic evolution, Linear logic",
author = "Masaki Murakami",
year = "2003",
month = "6",
doi = "10.1016/S0920-5489(02)00094-6",
language = "English",
volume = "25",
pages = "233--239",
journal = "Computer Standards and Interfaces",
issn = "0920-5489",
publisher = "Elsevier",
number = "3",

}

TY - JOUR

T1 - Evolvable concurrent processes

AU - Murakami, Masaki

PY - 2003/6

Y1 - 2003/6

N2 - 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.

AB - 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.

KW - Concurrent processes

KW - Dynamic evolution

KW - Linear logic

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

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

U2 - 10.1016/S0920-5489(02)00094-6

DO - 10.1016/S0920-5489(02)00094-6

M3 - Article

VL - 25

SP - 233

EP - 239

JO - Computer Standards and Interfaces

JF - Computer Standards and Interfaces

SN - 0920-5489

IS - 3

ER -