11 citations · 20 across the 9 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
A Comprehensive History of CRL and mCRL2
Jan Friso Groote, Erik P. de Vink
This article gives a historical overview of the background, motivation and development of μCRL and its successor mCRL2, from the inception to the present. Both mCRL2 and μCRL are s…
cs.LO2026
Spatial Model Checking of Images via Minimised Models and Branching Bisimilarity
Vincenzo Ciancia, Jan Friso Groote, Diego Latella +2
Spatial models are of increasing interest in traditional computer science domains and beyond. Spatial minimisation procedures are crucial for efficient model checking of such model…