Information flow in systems with schedulers. I: Definitions

DOI10.1016/J.TCS.2012.10.047zbMath1259.68023OpenAlexW2076195418MaRDI QIDQ1935780

Chenyi Zhang, Ron van der Meyden

Publication date: 19 February 2013

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.10.047

zbMATH Keywords

schedulingbisimulationinformation flow securitysynchronous state machine model

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer system organization (68M99)

Related Items (2)

The complexity of synchronous notions of information flow security ⋮ Information flow in systems with schedulers. II: Refinement

This page was built for publication: Information flow in systems with schedulers. I: Definitions