Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Formal Aspects of Computing
Metadaten
Titel
Starvation-free mutual exclusion with semaphores
verfasst von
Wim H. Hesselink
Mark IJbema
Publikationsdatum
01.11.2013
Verlag
Springer London
Erschienen in
Formal Aspects of Computing / Ausgabe 6/2013
Print ISSN: 0934-5043
Elektronische ISSN: 1433-299X
DOI
https://doi.org/10.1007/s00165-011-0219-y

Weitere Artikel der Ausgabe 6/2013

Formal Aspects of Computing 6/2013 Zur Ausgabe

Original Article

Applications of real number theorem proving in PVS

Original Article

Reasoning about orchestrations of web services using partial correctness

Original Article

Simple linear string constraints

Original Article

Explanation of two non-blocking shared-variable communication algorithms

Original Article

Deriving dense linear algebra libraries

Original Article

Automatic verification of reduction techniques in Higher Order Logic

Premium Partner

    Bildnachweise