- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Tournaments for mutual exclusion: verification and concurrent complexity ; day:27 ; month:1 ; year:2017 ; pages:1-20
Formal aspects of computing ; (27.1.2017), 1-20
- Klassifikation
-
Informatik
- Urheber
-
Hesselink, Wim H.
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-016-0407-x
- URN
-
urn:nbn:de:1111-2017022210687
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:00 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Hesselink, Wim H.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Tournaments in mutual fund families
Concurrent data structures: Recoverable, Abortable, and Adaptive Mutual Exclusion with Sublogarithmic RMR Complexity
Recoverable mutual exclusion with abortability
Deadlocks and dihomotopy in mutual exclusion models
Specification and verification of concurrent systems
Verification of sequential and concurrent programs
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Automatic verification of concurrent stochastic systems
Randomized mutual exclusion on a multiple access channel
Local tournaments and in tournaments
Tournaments in mutual fund families
Concurrent data structures: Recoverable, Abortable, and Adaptive Mutual Exclusion with Sublogarithmic RMR Complexity
Recoverable mutual exclusion with abortability
Deadlocks and dihomotopy in mutual exclusion models
Specification and verification of concurrent systems
Verification of sequential and concurrent programs
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Automatic verification of concurrent stochastic systems
Randomized mutual exclusion on a multiple access channel
Local tournaments and in tournaments
Tournaments in mutual fund families
Concurrent data structures: Recoverable, Abortable, and Adaptive Mutual Exclusion with Sublogarithmic RMR Complexity
Recoverable mutual exclusion with abortability
Deadlocks and dihomotopy in mutual exclusion models
Specification and verification of concurrent systems
Verification of sequential and concurrent programs
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Automatic verification of concurrent stochastic systems
Randomized mutual exclusion on a multiple access channel