Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Correspondence assertions for process synchronization in concurrent communications by Series: ^p Datos electrónicos (1 archivo : 315 KB)
Material type: Article Article; Literary form: Not fiction
Online access:
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A0052.

Typechecking safe process synchronization by Series: ^p Datos electrónicos (1 archivo : 428 KB)
Material type: Article Article; Literary form: Not fiction
Online access:
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A0189.

Pages