Non-interference Properties for Data-Type Reduction of Communicating Systems
From MaRDI portal
Publication:3608898
DOI10.1007/978-3-540-73210-5_32zbMath1213.68128OpenAlexW1607787799MaRDI QIDQ3608898
Publication date: 6 March 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73210-5_32
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Related Items (1)
This page was built for publication: Non-interference Properties for Data-Type Reduction of Communicating Systems
