Comparing Cospans-Spans and Tiles via a Hoare Style process calculus

Articolo
Data di Pubblicazione:
2001
Tipologia CRIS:
Articolo su Rivista
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://irinsubria.uninsubria.it/handle/11383/1490406
Pubblicato in:
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Journal