Allan van Hulst

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 1

Top Topics

Program Synthesis

Inference Rules

Top Venues

Publications

Allan van Hulst
A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof. CoRR (2021)
Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximally Permissive Controlled System Synthesis for Modal Logic. SOFSEM (2015)
Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximally Permissive Controlled System Synthesis for Modal Logic. CoRR (2014)
Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality. WODES (2014)
Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski
A Process Algebra for Supervisory Coordination PACO (2011)