Ausgabe 5/2017
INDIVIDUAL CONTRIBUTIONS
Inhalt (6 Artikel)
Open Access
Original Article
Tournaments for mutual exclusion: verification and concurrent complexity
Wim H. Hesselink
Original Article
Designing a semantic model for a wide-spectrum language with concurrency
Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
Open Access
Original Article
Timed runtime monitoring for multiparty conversations
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
Open Access
Original Article
Incremental bounded model checking for embedded software
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller