Deadlock detection for actor-based coroutines

Keyvan Azadbakht, Frank S. de Boer, Erik de Vink

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
1 Downloads (Pure)

Samenvatting

The actor-based language studied in this paper features asynchronous method calls and supports coroutines which allow for the cooperative scheduling of the method invocations belonging to an actor. We model the local behavior of an actor as a well-structured transition system by means of predicate abstraction and derive the decidability of the occurrence of deadlocks caused by the coroutine mode of method execution.

Originele taal-2Engels
TitelFormal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings
RedacteurenK. Havelund, J. Peleska, B. Roscoe, E. de Vink
Plaats van productieCham
UitgeverijSpringer
Pagina's39-54
Aantal pagina's16
ISBN van elektronische versie978-3-319-95582-7
ISBN van geprinte versie978-3-319-95581-0
DOI's
StatusGepubliceerd - 1 jan 2018
Evenement22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, Verenigd Koninkrijk
Duur: 15 jul 201817 jul 2018

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10951 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

Congres22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018
LandVerenigd Koninkrijk
StadOxford
Periode15/07/1817/07/18

Vingerafdruk Duik in de onderzoeksthema's van 'Deadlock detection for actor-based coroutines'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Azadbakht, K., de Boer, F. S., & de Vink, E. (2018). Deadlock detection for actor-based coroutines. In K. Havelund, J. Peleska, B. Roscoe, & E. de Vink (editors), Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings (blz. 39-54). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10951 LNCS). Springer. https://doi.org/10.1007/978-3-319-95582-7_3