Affordable Access

Publisher Website

Evolvable concurrent processes

Authors
Journal
Computer Standards & Interfaces
0920-5489
Publisher
Elsevier
Publication Date
Volume
25
Issue
3
Identifiers
DOI: 10.1016/s0920-5489(02)00094-6
Keywords
  • Concurrent Processes
  • Linear Logic
  • Dynamic Evolution
Disciplines
  • Linguistics
  • Logic

Abstract

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.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

Moments analysis of concurrent poisson processes

on Nuclear Instruments and Method... Jan 01, 1975

An algebra of concurrent non-deterministic process...

on Theoretical Computer Science Jan 01, 1991
More articles like this..