Browse
All of TARA
Academic/Research Units & CollectionsTitlesAuthorsDate of PublicationSubjectsSponsorThis Academic/Research Unit
TitlesAuthorsDate of PublicationSubjectsSponsorDiscover
Author
HENNESSY, MATTHEW (1)
Subject
behavioural equivalence (1)
bisimulations (1)Computer science (1)distributed calculus (1)security (1)
static types (1)
... View More