Wan Fokkink

1. Precongruence Formats for Decorated Trace Semantics
   2002/04/17 by B. Bloom, Bard Bloom, Bloom, B. +6 · 1 citation
   Computer Science · #D.3.1 #F.1.2 #F.3.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO
2. Maximally Permissive Controlled System Synthesis for Modal Logic
   2014/08/14 by Allan van Hulst, Michel Reniers, van Hulst, Allan +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Reliable Restricted Process Theory
   2017/05/07 by Fatemeh Ghassemi, Ghassemi, Fatemeh, Wan Fokkink +1 · 1 citation
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling