Executable Tile Specifications for Process Calculi (1999)

by Roberto Bruni, José Meseguer, Ugo Montanari