Contextual Merged Processes
From MaRDI portal
Publication:5300864
DOI10.1007/978-3-642-38697-8_3zbMath1381.68216OpenAlexW1842334768MaRDI QIDQ5300864
Victor Khomenko, Stefan Schwoon, César Rodríguez
Publication date: 28 June 2013
Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38697-8_3
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05)
Related Items (1)
This page was built for publication: Contextual Merged Processes