NASA NTRS · 20150004722
Towards PCC for Concurrent and Distributed Systems (Work in Progress)
Abstract
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.
Keep this discovery
Explore connections, maps & timelines
Henriksen, Anders S., Filinski, Andrzej. 2009-10-01. Towards PCC for Concurrent and Distributed Systems (Work in Progress). https://ntrs.nasa.gov/citations/20150004722
Cite the original work for its findings. Save a collection to share your selection of sources.