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

Radu Iulian Mardare

Research output: Book/Report › Book › Research › peer-review

Abstract

LAMBERT Academic Publishing, ISBN 978-3838388984

Original language	English

Publisher	Lambert Academic Publishing
ISBN (Print)	9783838388984
Publication status	Published - 2010

@book{44825ec55f5b464798586dcfc3e5f0c7,

title = "Logical Anaysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras",

abstract = "LAMBERT Academic Publishing, ISBN 978-3838388984",

author = "Mardare, {Radu Iulian}",

year = "2010",

language = "English",

isbn = "9783838388984",

publisher = "Lambert Academic Publishing",

}

TY - BOOK

T1 - Logical Anaysis of Complex Concurrent Systems

T2 - Dynamic-Epistemic Spatial Logics for Process Algebras

AU - Mardare, Radu Iulian

PY - 2010

Y1 - 2010

N2 - LAMBERT Academic Publishing, ISBN 978-3838388984

AB - LAMBERT Academic Publishing, ISBN 978-3838388984

M3 - Book

SN - 9783838388984

BT - Logical Anaysis of Complex Concurrent Systems

PB - Lambert Academic Publishing

ER -