Classification of security properties in a Linda-like process algebra

DOI10.1016/j.scico.2005.07.010zbMath1103.68081OpenAlexW2166189879WikidataQ114850299 ScholiaQ114850299MaRDI QIDQ2432759

Alessandro Aldini

Publication date: 25 October 2006

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2005.07.010

zbMATH Keywords

process algebrabehavioural equivalenceinformation flow analysiscoordination modelnoninterference properties

Mathematics Subject Classification ID

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

Related Items (1)

Hypercyclicity of translation operators in a reproducing kernel Hilbert space of entire functions induced by an analytic Hilbert-space-valued kernel

This page was built for publication: Classification of security properties in a Linda-like process algebra