Minimisation of Spatial Models Using Branching Bisimilarity.

Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink

Browse the full FM paper archive.