A Transformation from p-π to MSVL

DOI10.1007/978-3-642-39718-9_16zbMath1405.68217OpenAlexW51723225MaRDI QIDQ2851911

Zhenhua Duan, Ling Luo

Publication date: 4 October 2013

Published in: Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39718-9_16

zbMATH Keywords

verificationprocess algebratemporal logic\(\pi\)-calculusMSVL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A structural transformation from p-\(\pi\) to MSVL

This page was built for publication: A Transformation from p-π to MSVL