Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@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.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
DAVIDE SANGIORGI
Universidad de Bolonia
Perfil externo:
Citaciones:
128
Productos:
3
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
3 Productos
Más citado
CSV
API
On the expressiveness and decidability of higher-order process calculi
Acceso Abierto
ART-ART_B
ID Minciencias: ART-0000698580-25
Fuente: Information and Computation
Ivan Lanese
Jorge Andres Perez Parra
DAVIDE SANGIORGI
Alan Schmitt
Temas:
Decidability
Undecidable problem
Concurrency
Process calculus
Bisimulation
Prefix
Pi calculus
Mathematics
Computer science
Congruence (geometry)
Asynchronous communication
Order (exchange)
Discrete mathematics
Calculus (dental)
Theoretical computer science
Programming language
Computer network
Linguistics
Philosophy
Geometry
Finance
Economics
Medicine
Dentistry
Publicado: 2010
Citaciones:
74
Altmétricas:
0
Artículo de revista
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
Acceso Cerrado
ART-ART_B
ID Minciencias: ART-0000698580-27
Fuente: Lecture notes in computer science
Ivan Lanese
Jorge Andres Perez Parra
DAVIDE SANGIORGI
Alan Schmitt
Temas:
Asynchronous communication
Arity
Computer science
Process (computing)
Focus (optics)
Message passing
Order (exchange)
Process calculus
Hierarchy
Point (geometry)
Theoretical computer science
Programming language
Mathematics
Discrete mathematics
Computer network
Market economy
Physics
Geometry
Optics
Finance
Economics
Publicado: 2010
Citaciones:
34
Altmétricas:
0
Artículo de revista
On the Expressiveness and Decidability of Higher-Order Process Calculi
Acceso Abierto
Fuente: Proceedings - Symposium on Logic in Computer Science
Ivan Lanese
Jorge Andres Perez Parra
DAVIDE SANGIORGI
Alan Schmitt
Temas:
Decidability
Undecidable problem
Concurrency
Process calculus
Bisimulation
Prefix
Computer science
Pi calculus
Mathematics
Asynchronous communication
Context (archaeology)
Turing machine
Discrete mathematics
Theoretical computer science
Algorithm
Programming language
Computer network
Paleontology
Linguistics
Philosophy
Biology
Computation
Publicado: 2008
Citaciones:
20
Altmétricas:
0
Resultado de conferencia
1
NaN
