Property-Preserving Petri Net Process Algebra in Software Engineering
From MaRDI portal
Publication:3008954
DOI10.1142/7919zbMath1502.68008OpenAlexW4302557009MaRDI QIDQ3008954
To-yat Cheung, Wai Ming Mak, Li Jiao, Hejiao Huang
Publication date: 23 June 2011
Full work available at URL: https://doi.org/10.1142/7919
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: Property-Preserving Petri Net Process Algebra in Software Engineering
