Decidability of Modular Logics for Concurrency

Radu Iulian Mardare

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Abstrakt

Proc. of the Ershov Informatics Conference 2011, LNCS 7162: 270-284, 2012
OriginalsprogEngelsk
TitelPerspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Vol/bind7162
UdgivelsesstedBerlin
ForlagSpringer
Publikationsdato2012
Sider274-288
ISBN (Trykt)978-3-642-29708-3
ISBN (Elektronisk)978-3-642-29709-0
DOI
StatusUdgivet - 2012
Begivenhed8th International Andrei Ershov Memorial Conference, PSI 2011: Perspectives of Systems Informatics - Novosibirsk, Rusland
Varighed: 27 jun. 20111 jul. 2011
Konferencens nummer: 8

Konference

Konference8th International Andrei Ershov Memorial Conference, PSI 2011
Nummer8
Land/OmrådeRusland
ByNovosibirsk
Periode27/06/201101/07/2011
NavnLecture Notes in Computer Science
Vol/bind7162
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Decidability of Modular Logics for Concurrency'. Sammen danner de et unikt fingeraftryk.

Citationsformater