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

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Abstrakt

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

Originalsprog	Engelsk
Titel	Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Vol/bind	7162
Udgivelsessted	Berlin
Forlag	Springer
Publikationsdato	2012
Sider	274-288
ISBN (Trykt)	978-3-642-29708-3
ISBN (Elektronisk)	978-3-642-29709-0
DOI	https://doi.org/10.1007/978-3-642-29709-0_24
Status	Udgivet - 2012
Begivenhed	8th International Andrei Ershov Memorial Conference, PSI 2011: Perspectives of Systems Informatics - Novosibirsk, Rusland Varighed: 27 jun. 2011 → 1 jul. 2011 Konferencens nummer: 8

Konference

Konference	8th International Andrei Ershov Memorial Conference, PSI 2011
Nummer	8
Land/Område	Rusland
By	Novosibirsk
Periode	27/06/2011 → 01/07/2011

Navn	Lecture Notes in Computer Science
Vol/bind	7162
ISSN	0302-9743

Adgang til dokumentet

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

Andre filer og links

Link to publication in Scopus

1 Afsluttet

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R.
01/10/2010 → 30/09/2012
Projekter: Projekt › Forskning

Citationsformater

@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. i Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. bind 7162, Springer, Berlin, Lecture Notes in Computer Science, bind 7162, s. 274-288, 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Rusland, 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. Bind 7162 Berlin : Springer, 2012. s. 274-288 (Lecture Notes in Computer Science, Bind 7162).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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

Abstrakt

Konference

Adgang til dokumentet

Andre filer og links

Fingeraftryk

Projekter

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Citationsformater