Decidability of Modular Logics for Concurrency

Radu Iulian Mardare

doi:10.1007/978-3-642-29709-0_24

Decidability of Modular Logics for Concurrency

Radu Iulian Mardare

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Abstract

Proc. of the Ershov Informatics Conference 2011, LNCS 7162: 270-284, 2012

Original language	English
Title of host publication	Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Volume	7162
Place of Publication	Berlin
Publisher	Springer
Publication date	2012
Pages	274-288
ISBN (Print)	978-3-642-29708-3
ISBN (Electronic)	978-3-642-29709-0
DOIs	https://doi.org/10.1007/978-3-642-29709-0_24
Publication status	Published - 2012
Event	8th International Andrei Ershov Memorial Conference, PSI 2011: Perspectives of Systems Informatics - Novosibirsk, Russian Federation Duration: 27 Jun 2011 → 1 Jul 2011 Conference number: 8

Conference

Conference	8th International Andrei Ershov Memorial Conference, PSI 2011
Number	8
Country/Territory	Russian Federation
City	Novosibirsk
Period	27/06/2011 → 01/07/2011

Series	Lecture Notes in Computer Science
Volume	7162
ISSN	0302-9743

Access to Document

10.1007/978-3-642-29709-0_24

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{98d8db11be0b4b948e9f46bd317824a3,

title = "Decidability of Modular Logics for Concurrency",

abstract = "Proc. of the Ershov Informatics Conference 2011, LNCS 7162: 270-284, 2012",

author = "Mardare, {Radu Iulian}",

year = "2012",

doi = "10.1007/978-3-642-29709-0_24",

language = "English",

isbn = "978-3-642-29708-3",

volume = "7162",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "274--288",

booktitle = "Perspectives of Systems Informatics",

address = "Germany",

note = "8th International Andrei Ershov Memorial Conference, PSI 2011 : Perspectives of Systems Informatics, PSI 2011 ; Conference date: 27-06-2011 Through 01-07-2011",

}

Mardare, RI 2012, Decidability of Modular Logics for Concurrency. in Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. vol. 7162, Springer, Berlin, Lecture Notes in Computer Science, vol. 7162, pp. 274-288, 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russian Federation, 27/06/2011. https://doi.org/10.1007/978-3-642-29709-0_24

Decidability of Modular Logics for Concurrency. / Mardare, Radu Iulian.
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Vol. 7162 Berlin: Springer, 2012. p. 274-288 (Lecture Notes in Computer Science, Vol. 7162).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Decidability of Modular Logics for Concurrency

AU - Mardare, Radu Iulian

N1 - Conference code: 8

PY - 2012

Y1 - 2012

N2 - Proc. of the Ershov Informatics Conference 2011, LNCS 7162: 270-284, 2012

AB - Proc. of the Ershov Informatics Conference 2011, LNCS 7162: 270-284, 2012

UR - http://www.scopus.com/inward/record.url?scp=84862093991&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-29709-0_24

DO - 10.1007/978-3-642-29709-0_24

M3 - Article in proceeding

SN - 978-3-642-29708-3

VL - 7162

T3 - Lecture Notes in Computer Science

SP - 274

EP - 288

BT - Perspectives of Systems Informatics

PB - Springer

CY - Berlin

T2 - 8th International Andrei Ershov Memorial Conference, PSI 2011

Y2 - 27 June 2011 through 1 July 2011

ER -

Decidability of Modular Logics for Concurrency

Abstract

Conference

Access to Document

AUB Link

Other files and links

Fingerprint

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Cite this

Decidability of Modular Logics for Concurrency

Abstract

Conference

Access to Document

AUB Link

Other files and links

Fingerprint

Projects

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Cite this