Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras

Epistemic

von Radu Mardare

Taschenbuch

ISBN-13: 978-3-8383-8898-4

ISBN-10: 3-8383-8898-4

LAP LAMBERT Academic Publishing · 2010