Skip to content

Executable Tile Specifications for Process Calculi.

Roberto Bruni, Jos Meseguer, Ugo Montanari

VenueBFASE
Year1999
ProceedingsFASE

Browse the full FASE paper archive.