Executable Tile Specifications for Process Calculi (1999)
by
Roberto Bruni
,
José Meseguer
,
Ugo Montanari
| Citations: | 12 - 9 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 |
