10 results on '"Hennessy, Matthew"'
Search Results
2. Uniqueness Typing for Resource Management in Message-Passing Concurrency
3. A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).
4. A Theory for Observational Fault Tolerance.
5. A Theory of System Behaviour in the Presence of Node and Link Failures.
6. Proof Methodologies for Behavioural Equivalence in.
7. Type-Safe Execution of Mobile Agents in Anonymous Networks.
8. On the decidability of non-interleaving process equivalences.
9. Counting the Cost in the Picalculus (Extended Abstract).
10. On the construction of reversible automata for reversible languages
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.