Hispanopedia Wiki
Articulo de referencia

semántica de concurrencia

En ciencias de la computación , la semántica de concurrencia [ 1 ] es una forma de dar significado a los sistemas concurrentes de manera matemáticamente rigurosa. La semántica d...

Hispanopedia WikiContenido en espanolLectura gratuita

En ciencias de la computación , la semántica de concurrencia [ 1 ] es una forma de dar significado a los sistemas concurrentes de manera matemáticamente rigurosa. La semántica de concurrencia a menudo se basa en teorías matemáticas de concurrencia como varios cálculos de procesos , el modelo de actores o las redes de Petri .

Aquí se ofrece una explicación más detallada de la semántica de la concurrencia: Concurrencia (informática) .

Referencias

  1. ↑ Pichon-Pharabod, Jean; Sewell, Peter (11 de enero de 2016). "Una semántica de concurrencia para operaciones atómicas relajadas que permite la optimización y evita ejecuciones sin sentido" . dl.acm.org . Association for Computing Machinery. págs. 622–633 . doi : 10.1145/2837614.2837616 . Recuperado el 29 de julio de 2025 .