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
- Ponderación
- Alfabéticamente
Session-based concurrency in Maude: Executable semantics and type checking
- Carlos Alberto Ramírez Restrepo
- , Juan C. Jaramillo
- , Jorge A. Pérez
Producción: Contribución a una revista › Artículo › revisión exhaustiva