< Back to search results

Modal Logic and Distributed Message Passing Automata

Year of publication

2013

Authors

Kuusisto Antti

Organizations and authors

Tampere University

Kuusisto Antti

Publication type

Publication format

Article

Parent publication type

Conference

Article type

Other article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A4 Article in conference proceedings

Publication channel information

Journal

Annual Conference of the European Association for Computer Science Logic

Parent publication name

Computer Science Logic 2013 (CSL 2013)

Pages

452-468

ISBN

978-3-939897-60-6

Publication forum

Publication forum level

1

Open access

Open access in the publisher’s service

Yes

Open access of publication channel

Fully open publication channel

Self-archived

Unknown

Other information

Fields of science

Mathematics; Computer and information sciences

Publication country

Germany

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

Unknown

DOI

10.4230/LIPIcs.CSL.2013.452

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes