Asynchronous announcements in a public channel

Sophia Knight; Bastien Maubert; François Schwarzentruber

doi:10.1007/978-3-319-25150-9_17

Asynchronous announcements in a public channel

Sophia Knight
, Bastien Maubert
, François Schwarzentruber

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Scopus citations

Abstract

We propose a variant of public announcement logic for asynchronous systems. We give a syntax where sending and receiving messages are modeled by different modal operators. The natural approach to defining the semantics leads to a circular definition, but we describe two restricted cases in which we solve this problem. The first case requires the Kripke model representing the initial epistemic situation to be a finite tree, and the second one only allows announcements from the existential fragment. Finally, we provide complexity results for the model checking problem.

Original language	English (US)
Title of host publication	Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings
Editors	Camilo Rueda, Frank D. Valencia, Frank D. Valencia, Martin Leucker
Publisher	Springer Verlag
Pages	272-289
Number of pages	18
ISBN (Print)	9783319251493
DOIs	https://doi.org/10.1007/978-3-319-25150-9_17
State	Published - 2015
Externally published	Yes
Event	12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015 - Cali, Colombia Duration: Oct 29 2015 → Oct 31 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9399
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015
Country/Territory	Colombia
City	Cali
Period	10/29/15 → 10/31/15

Bibliographical note

Publisher Copyright:
© Springer International Publishing Switzerland 2015.

Publisher link

10.1007/978-3-319-25150-9_17

Find It

Find It at U of M Libraries

Cite this

Knight, S., Maubert, B., & Schwarzentruber, F. (2015). Asynchronous announcements in a public channel. In C. Rueda, F. D. Valencia, F. D. Valencia, & M. Leucker (Eds.), Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings (pp. 272-289). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9399). Springer Verlag. https://doi.org/10.1007/978-3-319-25150-9_17

Asynchronous announcements in a public channel. / Knight, Sophia; Maubert, Bastien; Schwarzentruber, François.
Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings. ed. / Camilo Rueda; Frank D. Valencia; Frank D. Valencia; Martin Leucker. Springer Verlag, 2015. p. 272-289 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9399).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Knight, S, Maubert, B & Schwarzentruber, F 2015, Asynchronous announcements in a public channel. in C Rueda, FD Valencia, FD Valencia & M Leucker (eds), Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9399, Springer Verlag, pp. 272-289, 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, Cali, Colombia, 10/29/15. https://doi.org/10.1007/978-3-319-25150-9_17

Knight S, Maubert B, Schwarzentruber F. Asynchronous announcements in a public channel. In Rueda C, Valencia FD, Valencia FD, Leucker M, editors, Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings. Springer Verlag. 2015. p. 272-289. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-25150-9_17

Knight, Sophia ; Maubert, Bastien ; Schwarzentruber, François. / Asynchronous announcements in a public channel. Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings. editor / Camilo Rueda ; Frank D. Valencia ; Frank D. Valencia ; Martin Leucker. Springer Verlag, 2015. pp. 272-289 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{3c72ad9acd4245d8815b66d3f952638f,

title = "Asynchronous announcements in a public channel",

abstract = "We propose a variant of public announcement logic for asynchronous systems. We give a syntax where sending and receiving messages are modeled by different modal operators. The natural approach to defining the semantics leads to a circular definition, but we describe two restricted cases in which we solve this problem. The first case requires the Kripke model representing the initial epistemic situation to be a finite tree, and the second one only allows announcements from the existential fragment. Finally, we provide complexity results for the model checking problem.",

author = "Sophia Knight and Bastien Maubert and Fran{\c c}ois Schwarzentruber",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015 ; Conference date: 29-10-2015 Through 31-10-2015",

year = "2015",

doi = "10.1007/978-3-319-25150-9\_17",

language = "English (US)",

isbn = "9783319251493",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "272--289",

editor = "Camilo Rueda and Valencia, \{Frank D.\} and Valencia, \{Frank D.\} and Martin Leucker",

booktitle = "Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings",

}

TY - GEN

T1 - Asynchronous announcements in a public channel

AU - Knight, Sophia

AU - Maubert, Bastien

AU - Schwarzentruber, François

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2015.

PY - 2015

Y1 - 2015

N2 - We propose a variant of public announcement logic for asynchronous systems. We give a syntax where sending and receiving messages are modeled by different modal operators. The natural approach to defining the semantics leads to a circular definition, but we describe two restricted cases in which we solve this problem. The first case requires the Kripke model representing the initial epistemic situation to be a finite tree, and the second one only allows announcements from the existential fragment. Finally, we provide complexity results for the model checking problem.

AB - We propose a variant of public announcement logic for asynchronous systems. We give a syntax where sending and receiving messages are modeled by different modal operators. The natural approach to defining the semantics leads to a circular definition, but we describe two restricted cases in which we solve this problem. The first case requires the Kripke model representing the initial epistemic situation to be a finite tree, and the second one only allows announcements from the existential fragment. Finally, we provide complexity results for the model checking problem.

UR - https://www.scopus.com/pages/publications/84958526412

UR - https://www.scopus.com/pages/publications/84958526412#tab=citedBy

U2 - 10.1007/978-3-319-25150-9_17

DO - 10.1007/978-3-319-25150-9_17

M3 - Conference contribution

AN - SCOPUS:84958526412

SN - 9783319251493

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 272

EP - 289

BT - Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings

A2 - Rueda, Camilo

A2 - Valencia, Frank D.

A2 - Leucker, Martin

PB - Springer Verlag

T2 - 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015

Y2 - 29 October 2015 through 31 October 2015

ER -

Asynchronous announcements in a public channel

Abstract

Publication series

Other

Bibliographical note

Publisher link

Find It

Other files and links

Fingerprint

Cite this