scientific article; zbMATH DE number 1953033

zbMath1022.68085MaRDI QIDQ4414391

Annalisa Bossi, Carla Piazza, Riccardo Focardi, Sabina Rossi

Publication date: 25 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2575/25750223.htm

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Rule formats for compositional non-interference properties ⋮ Verifying persistent security properties ⋮ Information flow in systems with schedulers. II: Refinement ⋮ Persistent Stochastic Non-Interference ⋮ Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) ⋮ \textit{D\_PSNI}: delimited persistent stochastic non-interference ⋮ Unwinding biological systems

This page was built for publication: