A privacy analysis for the π-calculus: The denotational approach

Aziz, Benjamin and Hamilton, Geoff (2002) A privacy analysis for the π-calculus: The denotational approach. In: Proceedings of the 2nd Workshop on the Specification, Analysis and Validation for Emerging Technologies.

Full text not available from this repository.

Item Type:	Conference or Workshop Item
Depositing User:	RED Unit Admin
Date Deposited:	18 Dec 2023 12:06
Last Modified:	18 Dec 2023 12:06
URI:	https://bnu.repository.guildhe.ac.uk/id/eprint/18963

Actions (login required)

Edit Item