Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available
A non-interleaving sematics for CCS Based on Proved Translations Gerard Boudol; Ilaria Castellani by Series: Rapports de recherche. 919
Publication details: Paris I. N. R. I. A 1988
Availability: Items available for loan: IMAR (1)Call number: III 30878.

Place hold Add to cart
2.
No cover image available
Towards a lambda-calculus for concurrent and communicating systems Gerard Boudol by Series: Rapports techniques. 885
Publication details: Paris I. N. R. I. A 1988
Availability: Items available for loan: IMAR (1)Call number: III 30860.

Place hold Add to cart
3.
No cover image available
Experiment with auto and autograph on a simple case of sliding window protocol Gerard Boudol; Robert de Simone by Series: Rapports techniques. 870
Publication details: Paris I. N. R. I. A 1988
Availability: Items available for loan: IMAR (1)Call number: III 30849.

Place hold Add to cart
4.
No cover image available
Atomic actions Gerard Boudol by Series: Rapports de recherche. 1026
Publication details: Paris I.N.R.I.A 1989
Availability: Items available for loan: IMAR (1)Call number: III 32647.

Place hold Add to cart
Pages

Powered by Koha