Logotipo ImpactU
Autor

A Mathematical Game Semantics of Concurrency and Nondeterminism

Acceso Cerrado
ID Minciencias: ART-0001314661-25
Ranking: ART-GC_ART
Idioma: Inglés
Publicado: 01/01/2015
APC (est): No disponible

Abstract:

Abstract no disponible

Tópico:

Logic, programming, and type systems

Citaciones:

Citations: 0
0

Citaciones por año:

No hay datos de citaciones disponibles

Altmétricas:

Paperbuzz Score: 0
0

Información de la Fuente:

SCImago Journal & Country Rank
FuenteLecture notes in computer science
Cuartil año de publicaciónNo disponible
VolumenNo disponible
IssueNo disponible
Páginas597 - 607
pISSNNo disponible
ISSN1611-3349
Perfil OpenAlexhttps://openalex.org/S106296714

Enlaces e Identificadores:

Minciencias IDART-0001314661-25Scienti ID0001314661-25Openalex URLhttps://openalex.org/W2407279529
Open_access URLhttps://ora.ox.ac.uk/objects/uuid:f53262fd-7144-48ec-85f5-29ac2a7f8793/files/m44bfd8cb39eaa7d8220112754341a880Doi URLhttps://doi.org/10.1007/978-3-319-25150-9_35
Publicaciones editoriales no especializadas
Fundadores:
Logotipo Universidad de Antioquia
Logotipo Universidad Autónoma Latinoamericana
Logotipo Universidad Externado de Colombia
Logotipo Universidad Del Valle
Producto desarrollado por:
Logotipo Colav
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia