- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Extending rely-guarantee thinking to handle real-time scheduling ; day:30 ; month:11 ; year:2023 ; pages:1-22
Formal methods in system design ; (30.11.2023), 1-22
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-023-00441-y
- URN
-
urn:nbn:de:101:1-2024021916203762601485
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 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
- Jones, Cliff B.
- Burns, Alan
- SpringerLink (Online service)
Ähnliche Objekte (12)
Embedding Rely-Guarantee Reasoning in Temporal Logic
Local rely-guarantee conditions for linearizability and lock-freedom
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Extending the multidimensional data model to handle complex data
Extending the OLAP technology to handle non-conventional and complex data
Approximation Guarantee of OSP Mechanisms: The Case of Machine Scheduling and Facility Location
Guarantee & Credit Bank
Can I rely on you?
On what you can rely
Don't rely on discipline
Embedding Rely-Guarantee Reasoning in Temporal Logic
Local rely-guarantee conditions for linearizability and lock-freedom
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Extending the multidimensional data model to handle complex data
Extending the OLAP technology to handle non-conventional and complex data
Approximation Guarantee of OSP Mechanisms: The Case of Machine Scheduling and Facility Location
Guarantee & Credit Bank
Can I rely on you?
On what you can rely
Don't rely on discipline
Embedding Rely-Guarantee Reasoning in Temporal Logic
Local rely-guarantee conditions for linearizability and lock-freedom
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Extending the multidimensional data model to handle complex data
Extending the OLAP technology to handle non-conventional and complex data
Approximation Guarantee of OSP Mechanisms: The Case of Machine Scheduling and Facility Location
Guarantee & Credit Bank
Can I rely on you?
On what you can rely