A formal model of concurrent systems based on bipartite directed acyclic graph

Research output: Contribution to journalArticle

7 Citations (Scopus)

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 a multiset rewriting system. A bipartite directed acyclic graph represents a concurrent system consisting of a number of processes and messages. Each process or message corresponds to a source node of the graph. Names used for communication channel in the system are sink nodes. The edges of the graph represent the scopes of the names in the system. The operational semantics of the system is given as a labeled transition system. The model presented here makes it possible to represent local names that their scope are not nested. We define an equivalence relation that two systems are equivalent not only in their behavior but extrusions of scopes of names.

Original languageEnglish
Pages (from-to)38-47
Number of pages10
JournalScience of Computer Programming
Volume61
Issue number1
DOIs
Publication statusPublished - Jun 1 2006

Keywords

  • Concurrency
  • Scope equivalence
  • π-Calculus

ASJC Scopus subject areas

  • Software

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

  • Cite this