Modal Logic and Distributed Message Passing Automata

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

13 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Computer Science Logic 2013 (CSL 2013)
Sivut	452-468
DOI - pysyväislinkit	https://doi.org/10.4230/LIPIcs.CSL.2013.452
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Nimi	Annual Conference of the European Association for Computer Science Logic

Tutkimusalat

@inproceedings{25293176c6a942e9bff65adfff38901b,

title = "Modal Logic and Distributed Message Passing Automata",

keywords = "automaatit, automata, logic, logiikka, automaatit, automata, logic, logiikka",

author = "Antti Kuusisto",

year = "2013",

doi = "10.4230/LIPIcs.CSL.2013.452",

language = "English",

isbn = "978-3-939897-60-6",

series = "Annual Conference of the European Association for Computer Science Logic",

pages = "452--468",

booktitle = "Computer Science Logic 2013 (CSL 2013)",

}

TY - GEN

T1 - Modal Logic and Distributed Message Passing Automata

AU - Kuusisto, Antti

PY - 2013

Y1 - 2013

KW - automaatit

KW - automata

KW - logic

KW - logiikka

KW - automaatit

KW - automata

KW - logic

KW - logiikka

U2 - 10.4230/LIPIcs.CSL.2013.452

DO - 10.4230/LIPIcs.CSL.2013.452

M3 - Conference contribution

SN - 978-3-939897-60-6

T3 - Annual Conference of the European Association for Computer Science Logic

SP - 452

EP - 468

BT - Computer Science Logic 2013 (CSL 2013)

ER -