- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-023-00441-y
- URN
-
urn:nbn:de:101:1-2024021916203762601485
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:59 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
- Jones, Cliff B.
- Burns, Alan
- SpringerLink (Online service)
Other Objects (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
On what you can rely
Can I rely on you?
On what you can rely
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
On what you can rely
Can I rely on you?
On what you can rely
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
On what you can rely
Can I rely on you?