Concurrency: handling interference formally

First Author: Jones, C B
Attributed to:  STRATA; Layers for Structuring Trustworthy Ambient Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Book Chapter

Book Title: Real-time and Hybrid Systems (2018)

Page Reference: 26-43