En informática , la semántica de concurrencia es una forma de dar significado a los sistemas concurrentes de una manera matemáticamente rigurosa. La semántica de concurrencia se basa a menudo en teorías matemáticas de concurrencia como varios cálculos de proceso , el modelo de actor o redes de Petri .