On the expressiveness of infinite behavior and name scoping in process calculi
- Pablo Giambiagi
- , Gerardo Schneider
- , Frank D. Valencia
Producción: Capítulo del libro/informe/acta de congreso › Capítulo en libro de investigación › revisión exhaustiva
20
Citas
(Scopus)