Interpreted Systems Semantics for Process Algebra with Identity Annotations
From MaRDI portal
Publication:4914519
DOI10.1007/978-3-642-36976-6_13zbMath1383.68055OpenAlexW2106102364MaRDI QIDQ4914519
Francien Dechesne, Mohammad Reza Mousavi
Publication date: 12 April 2013
Published in: Logic, Language, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-36976-6_13
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication: Interpreted Systems Semantics for Process Algebra with Identity Annotations
