scientific article

zbMath1003.68100MaRDI QIDQ3146271

Antonella Santone, Luca Tesei, Nicoletta De Francesco, Roberto Barbuti

Publication date: 11 September 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

system modelingnon-interference property of concurrent systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Instruction-level security analysis for information flow in stack-based assembly languages ⋮ Checking noninterference in timed CSP ⋮ Parametric Timed Model Checking for Guaranteeing Timed Opacity

This page was built for publication: