Executable tile Specifications for Process calculi”, in: J.-P. Finance Editor, Proceeding of FASE’99, Fundamental Approaches to (1999)

by J Meseguer, U Montanari
Venue:Proceedings of wadt’97, 12th workshop on recent trends in algebraic development techniques, LNCS