An Algebra of Actors Based on True Concurrency

Yong Wang

An Algebra of Actors Based on True Concurrency

Logic in Computer Science 2017-05-09 v1

Authors: Yong Wang

Abstract

An algebra of actors $\textrm{A}\pi$ fully captures the properties of actors based on asynchronous $\pi$ -calculus, but, it is based on the interleaving bisimulation semantics. We adjust $\textrm{A}\pi$ to $\textrm{A}\pi_{tc}$ to make $\textrm{A}\pi$ having a truly concurrent semantics. We give the syntax and operational semantics of $\textrm{A}\pi_{tc}$ , and also the truly concurrent semantics model and algebraic laws of $\textrm{A}\pi_{tc}$ .

Keywords

true concurrency actor algebra asynchronous pi-calculus interleaving bisimulation operational semantics algebraic laws

Cite

@article{arxiv.1705.02427,
  title  = {An Algebra of Actors Based on True Concurrency},
  author = {Yong Wang},
  journal= {arXiv preprint arXiv:1705.02427},
  year   = {2017}
}

Comments

10 pages, 1 figure. arXiv admin note: text overlap with arXiv:1704.07774

An Algebra of Actors Based on True Concurrency

Abstract

Keywords

Cite

Comments

Related papers