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