Executable Tile Specifications for Process Calculi (1999)

Cached

Download Links

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