The journal article “Decomposing monolithic processes in a process algebra with multi-actions” by Maurice Laveaux and Tim A.C. Willemse has been accepted for publication at JLAMP as part of a special issue of ICE. The paper describes a set of semantic requirements to perform a decomposition of a monolithic process for a process algebra with …continue reading
Author: Maurice Laveaux
Journal paper on non-linear pattern matching accepted for LMCS
The journal paper “Adaptive Non-Linear Pattern Matching Automata” by Rick Erkens and Maurice Laveaux has been accepted for publication in the FSCD2020 special issue of Logical Methods in Computer Science.
Paper on refinement checking accepted at FORTE 2019
The paper “Correct and Efficient Antichain Algorithms for Refinement Checking” by Maurice Laveaux, Jan Friso Groote and Tim Willemse has been accepted for publication at FORTE 2019 in Lyngby, Denmark.