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
Collection
Keywords
Years
  • 1
    facet.materialart.
    Unknown
    Towards PCC for Concurrent and Distributed Systems (Work in Progress) (2009)
    In:  CASI
    Details
    Publication Date: 2018-06-06
    Description: We outline some conceptual challenges in extending the PCC paradigm to a concurrent and distributed setting, and sketch a generalized notion of module correctness based on viewing communication contracts as economic games. The model supports compositional reasoning about modular systems and is meant to apply not only to certification of executable code, but also of organizational workflows.
    Keywords: Computer Programming and Software
    Type: Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification; 30-32; NASA/CP-2009-215403
    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...