Noninterfering Schedulers
From MaRDI portal
Publication:2848952
DOI10.1007/978-3-642-40206-7_18zbMath1394.68083OpenAlexW4242966830MaRDI QIDQ2848952
Andrei Popescu, Johannes Hölzl, Tobias Nipkow
Publication date: 13 September 2013
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40206-7_18
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Formalizing Probabilistic Noninterference ⋮ Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
This page was built for publication: Noninterfering Schedulers
