BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Matthew Hennessy
SearchCollections
Map detail
Matthew Hennessy9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMatthew HennessyAMatthew HennessyResearcherProcess Behaviour: Formulae vs. Tests (Extended Abstract)WProcess Behaviour: Form...preprint / 2010Modelling MAC-Layer Communications in Wireless SystemsWModelling MAC-Layer Com...preprint / 2015Modelling Probabilistic Wireless NetworksWModelling Probabilistic...preprint / 2013Mutually Testing ProcessesWMutually Testing Processespreprint / 2015Characterising Testing Preorders for Finite Probabilistic ProcessesWCharacterising Testing ...preprint / 2008Uniqueness Typing for Resource Management in Message-Passing ConcurrencyWUniqueness Typing for R...preprint / 2010Real-Reward Testing for Probabilistic Processes (Extended Abstract)WReal-Reward Testing for...preprint / 2011Compositional Reasoning for Explicit Resource Management in Channel-Based ConcurrencyWCompositional Reasoning...preprint / 2014
Person8 links

Matthew Hennessy

Researcher

PaperProcess Behaviour: Formulae vs. Tests (Extended Abstract)Authorship / preprint / 2010PaperModelling MAC-Layer Communications in Wireless SystemsAuthorship / preprint / 2015PaperModelling Probabilistic Wireless NetworksAuthorship / preprint / 2013PaperMutually Testing ProcessesAuthorship / preprint / 2015PaperCharacterising Testing Preorders for Finite Probabilistic ProcessesAuthorship / preprint / 2008PaperUniqueness Typing for Resource Management in Message-Passing ConcurrencyAuthorship / preprint / 2010PaperReal-Reward Testing for Probabilistic Processes (Extended Abstract)Authorship / preprint / 2011PaperCompositional Reasoning for Explicit Resource Management in Channel-Based ConcurrencyAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)