pith. sign in

Wan Fokkink

Identifiers

  • name variant Wan Fokkink 0.60 · backfill

Papers (11)

  1. Reliable Restricted Process Theory cs.LO · 2017 · author #2
  2. Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity cs.LO · 2016 · author #1
  3. Maximally Permissive Controlled System Synthesis for Modal Logic cs.FL · 2014 · author #3
  4. Detecting Useless Transitions in Pushdown Automata cs.FL · 2013 · author #1
  5. A Modeling Framework for Gossip-based Information Spread cs.DC · 2011 · author #3
  6. Asynchronous Bounded Expected Delay Networks cs.DC · 2010 · author #3
  7. Modal Logic and the Approximation Induction Principle cs.LO · 2009 · author #2
  8. On Finite Bases for Weak Semantics: Failures versus Impossible Futures cs.LO · 2008 · author #2
  9. An Analytical Model of Information Dissemination for a Gossip-based Protocol cs.DC · 2008 · author #3
  10. A Finite Equational Base for CCS with Left Merge and Communication Merge cs.LO · 2006 · author #2
  11. Split-2 Bisimilarity has a Finite Axiomatization over CCS with<br> Hennessy&#39;s Merge cs.LO · 2005 · author #2

Mentions

  • 1408.3317 #3 · arxiv_oai · confidence 0.70 Wan Fokkink
  • 1408.3317 #3 · backfill · confidence 0.70 Wan Fokkink
  • 1306.1947 #1 · backfill · confidence 0.70 Wan Fokkink
  • 1105.5986 #3 · backfill · confidence 0.70 Wan Fokkink
  • 1003.2084 #3 · backfill · confidence 0.70 Wan Fokkink
  • 0911.2035 #2 · backfill · confidence 0.70 Wan Fokkink
  • 0810.4904 #2 · backfill · confidence 0.70 Wan Fokkink
  • 0810.1571 #3 · backfill · confidence 0.70 Wan Fokkink

Frequent Coauthors