Ir directamente a la navegación principal Ir directamente a la búsqueda Ir directamente al contenido principal

Session-based concurrency in Maude: Executable semantics and type checking

  • University of Groningen

Producción: Contribución a una revista › Artículo › revisión exhaustiva

Huella

Profundice en los temas de investigación de 'Session-based concurrency in Maude: Executable semantics and type checking'. En conjunto forman una huella única.
Clasificar por

Keyphrases

Computer Science

INIS