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.

Tim Stokes
SearchCollections
Map detail
Tim Stokes7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTim StokesATim StokesResearcherOn DR-semigroups satisfying the ample conditionsWOn DR-semigroups satisf...preprint / 2026Restriction in Program AlgebraWRestriction in Program ...preprint / 2021Override and updateWOverride and updatepreprint / 2021Monoids with tests and the algebra of possibly non-halting programsWMonoids with tests and ...preprint / 2014Constellations and their relationship with categoriesWConstellations and thei...preprint / 2015The algebra of non-deterministic programs: demonic operators, orders and axiomsWThe algebra of non-dete...preprint / 2021
Person6 links

Tim Stokes

Researcher

PaperOn DR-semigroups satisfying the ample conditionsAuthorship / preprint / 2026PaperRestriction in Program AlgebraAuthorship / preprint / 2021PaperOverride and updateAuthorship / preprint / 2021PaperMonoids with tests and the algebra of possibly non-halting programsAuthorship / preprint / 2014PaperConstellations and their relationship with categoriesAuthorship / preprint / 2015PaperThe algebra of non-deterministic programs: demonic operators, orders and axiomsAuthorship / preprint / 2021

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)