5 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.LO2025★ 1 cited
A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
Adrian Beers, Jore Booy, Jan Friso Groote +2
The Maeslant Barrier is a storm surge barrier that protects Rotterdam and its harbour from storm surges in the North Sea. Its software control consists of three major components, o…
cs.CL2022
Term Rewriting Based On Set Automaton Matching
Mark Bouwman, Rick Erkens
In this article we investigate how a subterm pattern matching algorithm can be exploited to implement efficient term rewriting procedures. From the left-hand sides of the rewrite s…
cs.LO2020★ 5 cited
A process algebra with global variables
Mark Bouwman, Bas Luttik, Wouter Schols +1
In standard process algebra, parallel components do not share a common state and communicate through synchronisation. The advantage of this type of communication is that it facilit…