Browse
All of TARA
Academic/Research Units & CollectionsTitlesAuthorsDate of PublicationSubjectsSponsorThis Academic/Research Unit
TitlesAuthorsDate of PublicationSubjectsSponsorDiscover
Author
HENNESSY, MATTHEW (1)
Subject
Computer science (1)
Distributed Systems (1)non-interference (1)
picalculus (1)
security types (1)testing equivalences (1)... View More
Date Issued
2005 (1)