Executable Tile Specifications for Process Calculi (1999)

Cached

Download Links

by Roberto Bruni , José Meseguer , Ugo Montanari
Citations:13 - 10 self

Document Versions

Executable Tile Specifications for Process Calculi –Roberto Bruni, José Meseguer, Ugo Montanari — 1999
Executable Tile Specifications for Process Calculi –Roberto Bruni, José Meseguer, Ugo Montanari — 1999