Scope equivalence of concurrent systems based on bipartite directed acyclic graph

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

Abstract

This paper presents a formal model of concurrent systems to represent scopes of communication channel names precisely. The model presented here is an extension of multiset rewriting system. We represent a concurrent system consists of a number of processes and messages using a bipartite directed acyclic graph. Each process or message corresponds to a source node of the graph. Names used for communication channel in the system are sink nodes. We represent the scopes of names in the system using edges of the graph. The operational semantics of the system is given as a labeled transition system. It is possible to represent local names that their scope are not nested using this model. We define an equivalence relation that two systems are equivalent not only in their behavior but extrusions of scopes of names.

Original languageEnglish
Title of host publicationProceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05
Pages80-86
Number of pages7
Publication statusPublished - Dec 1 2005
Event2005 International Conference on Software Engineering Research and Practice, SERP'05 - Las Vegas, NV, United States
Duration: Jun 27 2005Jun 30 2005

Publication series

NameProceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05
Volume1

Other

Other2005 International Conference on Software Engineering Research and Practice, SERP'05
CountryUnited States
CityLas Vegas, NV
Period6/27/056/30/05

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Fingerprint Dive into the research topics of 'Scope equivalence of concurrent systems based on bipartite directed acyclic graph'. Together they form a unique fingerprint.

  • Cite this

    Murakami, M. (2005). Scope equivalence of concurrent systems based on bipartite directed acyclic graph. In Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05 (pp. 80-86). (Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05; Vol. 1).