4 votos

¿Qué es este símbolo semicircular en medio de una fórmula?

He intentado cada término de búsqueda que puedo pensar, pero no puedo encontrar ninguna manera de saber lo que este símbolo entre la (a) y el prt significa:

Symbol

Un poco de contexto aquí, el Punto 2 en el tercer párrafo. Imagen Original de una conferencia sobre la CSP, por lo que no se puede vincular a una en concreto, pero estoy bastante seguro de que este es en el mismo contexto.

1voto

HDE 226868 Puntos 1954

Lo encontré usado en Comunicar procesos secuenciales , por CAR Hoare. En él, define el símbolo como (página xvii)

(entre rastros)
seguido por

PS

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X