Interpreted systems semantics for process algebra with identity annotations

Conference Paper (2013)
Author(s)

F Dechesne (TU Delft - Technology, Policy and Management)

M Reza Mousavi (External organisation)

Research Group
Energy and Industry
DOI related publication
https://doi.org/10.1007/978-3-642-36976-6_13 Final published version
More Info
expand_more
Publication Year
2013
Language
English
Research Group
Energy and Industry
Bibliographical Note
Harvest
Pages (from-to)
182-205
Publisher
Springer
ISBN (print)
978-3-642-36975-9
Event
9th International Tbilisi symposium on logic, language, and computation, Kutaisi, Georgia (2011-09-26 - 2011-09-30), Berlin
Downloads counter
118