A structural transformation from p- $$\pi $$ π to MSVL

Ling Luo (), Zhenhua Duan (), Cong Tian () and Xiaobing Wang ()
Additional contact information
Ling Luo: Xidian University
Zhenhua Duan: Xidian University
Cong Tian: Xidian University
Xiaobing Wang: Xidian University

Journal of Combinatorial Optimization, 2015, vol. 29, issue 1, No 19, 308-329

Abstract: Abstract This paper presents a structural transformation approach from p- $$\pi $$ π processes to MSVL programs. To this end, channel and communication primitives are firstly defined in MSVL. Further, based on these definitions, a mapping function $$\mathcal{F }$$ F which transforms bounded p- $$\pi $$ π processes into MSVL programs is formalized. Moreover, the soundness of the transformation is proved. By the transformation, p- $$\pi $$ π can provide a mechanism to model, simulate and verify concurrent time-dependent systems by means of the techniques of MSVL. Finally, a case study is given to illustrate how the transformation can be used in practice.

Keywords: Process algebra; Temporal logic; $$\pi $$ π -calculus; MSVL; Verification (search for similar items in EconPapers)
Date: 2015
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://link.springer.com/10.1007/s10878-014-9779-0 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:jcomop:v:29:y:2015:i:1:d:10.1007_s10878-014-9779-0

Ordering information: This journal article can be ordered from
https://www.springer.com/journal/10878

DOI: 10.1007/s10878-014-9779-0

Access Statistics for this article

Journal of Combinatorial Optimization is currently edited by Thai, My T.

More articles in Journal of Combinatorial Optimization from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().