- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Classification
-
Informatik
- Creator
-
Hesselink, Wim H.
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-016-0407-x
- URN
-
urn:nbn:de:1111-2017022210687
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:00 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Hesselink, Wim H.
- SpringerLink (Online service)
Other Objects (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
Automatic verification of concurrent stochastic systems
Formal Verification of Concurrent Embedded Software
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
Automatic verification of concurrent stochastic systems
Formal Verification of Concurrent Embedded Software
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
Automatic verification of concurrent stochastic systems
Formal Verification of Concurrent Embedded Software
Randomized mutual exclusion on a multiple access channel