A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
From MaRDI portal
Publication:6489005
DOI10.1007/978-3-030-30281-8_13MaRDI QIDQ6489005FDOQ6489005
Andrea Marin, Sabina Rossi, Carla Piazza
Publication date: 14 March 2024
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer security (68M25)
This page was built for publication: A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489005)
