Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Bisimulation Congruences in the Calculus of Looping Sequences

Capitolo di libro
Data di Pubblicazione:
2006
Tipologia CRIS:
02A-Contributo in volume
Elenco autori:
R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
Link alla scheda completa:
https://iris.unito.it/handle/2318/24691
Titolo del libro:
Theoretical Aspects of Computing - ICTAC 2006 - Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0