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.

Wan Fokkink
SearchCollections
Map detail
Wan Fokkink10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWan FokkinkAWan FokkinkResearcherDetecting Useless Transitions in Pushdown AutomataWDetecting Useless Trans...preprint / 2013A Complete Proof System for 1-Free Regular Expressions Modulo BisimilarityWA Complete Proof System...preprint / 2020Congruence from the Operator's Point of View: Compositionality Requirements on Process SemanticsWCongruence from the Ope...preprint / 2010Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?WAre Two Binary Operator...preprint / 2022An Analytical Model of Information Dissemination for a Gossip-based ProtocolWAn Analytical Model of ...preprint / 2008Asynchronous Bounded Expected Delay NetworksWAsynchronous Bounded Ex...preprint / 2011A Modeling Framework for Gossip-based Information SpreadWA Modeling Framework fo...preprint / 2011Distributed MAP in the SpinJa Model CheckerWDistributed MAP in the ...preprint / 2011Maximally Permissive Controlled System Synthesis for Modal LogicWMaximally Permissive Co...preprint / 2014
Person9 links

Wan Fokkink

Researcher

PaperDetecting Useless Transitions in Pushdown AutomataAuthorship / preprint / 2013PaperA Complete Proof System for 1-Free Regular Expressions Modulo BisimilarityAuthorship / preprint / 2020PaperCongruence from the Operator's Point of View: Compositionality Requirements on Process SemanticsAuthorship / preprint / 2010PaperAre Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?Authorship / preprint / 2022PaperAn Analytical Model of Information Dissemination for a Gossip-based ProtocolAuthorship / preprint / 2008PaperAsynchronous Bounded Expected Delay NetworksAuthorship / preprint / 2011PaperA Modeling Framework for Gossip-based Information SpreadAuthorship / preprint / 2011PaperDistributed MAP in the SpinJa Model CheckerAuthorship / preprint / 2011

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)