Classification of security properties in a Linda-like process algebra

Alessandro Aldini. Classification of security properties in a Linda-like process algebra. Science of Computer Programming, 63(1):16-38, 2006. [doi]

Abstract

Abstract is missing.