Run time transformation of concurrent processes using multi dimensional representation of linear logic

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

This paper presents a model of concurrent processes that is an extension of a fragment of linear logic. Processes, messages and definitions of processes are represented using formulas of linear logic. The method presented here models a computation with a formal proof of linear logic. The inference system of linear logic used here consists of rules extended for the new multi dimensional representation of states of system to represent scopes of local names. The multi dimensional representation of system make possible to avoid the inconvenience of inferences arise from scopes of local names. This paper presents rules to represent run time transformation of process definitions as an application of the multi dimensional representation.

Original languageEnglish
Title of host publicationProceedings - International Symposium on Principles of Software Evolution, ISPSE 2000
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages226-230
Number of pages5
ISBN (Electronic)0769509061
DOIs
Publication statusPublished - Jan 1 2000
EventInternational Symposium on Principles of Software Evolution, ISPSE 2000 - Kanazawa, Japan
Duration: Nov 1 2000Nov 2 2000

Publication series

NameInternational Workshop on Principles of Software Evolution (IWPSE)
Volume2000-January

Other

OtherInternational Symposium on Principles of Software Evolution, ISPSE 2000
CountryJapan
CityKanazawa
Period11/1/0011/2/00

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Modelling and Simulation
  • Computational Theory and Mathematics

Fingerprint Dive into the research topics of 'Run time transformation of concurrent processes using multi dimensional representation of linear logic'. Together they form a unique fingerprint.

  • Cite this

    Murakami, M. (2000). Run time transformation of concurrent processes using multi dimensional representation of linear logic. In Proceedings - International Symposium on Principles of Software Evolution, ISPSE 2000 (pp. 226-230). [00913243] (International Workshop on Principles of Software Evolution (IWPSE); Vol. 2000-January). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISPSE.2000.913243