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