ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • COMPUTER SYSTEMS  (1)
  • 2020-2023
  • 1990-1994  (1)
  • 1950-1954
  • 1910-1914
  • 1991  (1)
  • 1
    facet.materialart.
    Unknown
    Putting time into proof outlines (1991)
    In:  CASI
    Details
    Publication Date: 2019-06-28
    Description: A logic for reasoning about timing of concurrent programs is presented. The logic is based on proof outlines and can handle maximal parallelism as well as resource-constrained execution environments. The correctness proof for a mutual exclusion protocol that uses execution timings in a subtle way illustrates the logic in action.
    Keywords: COMPUTER SYSTEMS
    Type: NASA-CR-189500 , NAS 1.26:189500 , TR-91-1238
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...