Allan van Hulst

According to our database, Allan van Hulst authored at least 6 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof.

Allan van Hulst

CoRR, 2021

2017

Maximally permissive controlled system synthesis for non-determinism and modal logic.

A. C. van Hulst, Michel A. Reniers, Wan J. Fokkink

Discret. Event Dyn. Syst., 2017

2015

Maximal Synthesis for Hennessy-Milner Logic.

Allan C. van Hulst, Michel A. Reniers, Wan J. Fokkink

ACM Trans. Embed. Comput. Syst., 2015

Maximally Permissive Controlled System Synthesis for Modal Logic.

Allan van Hulst, Michel A. Reniers, Wan J. Fokkink

Proceedings of the SOFSEM 2015: Theory and Practice of Computer Science, 2015

2014

Maximal Synthesis for Hennessy-Milner Logic with the Box Modality.

Allan van Hulst, Michel A. Reniers, Wan J. Fokkink

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2011

A Process Algebra for Supervisory Coordination

Jos C. M. Baeten, Bert van Beek, Allan van Hulst, Jasen Markovski

Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011