Your search returned 3 results.

Sort
Results
Process algebra with timing

by Baeten, J.C.M | Middelburg, C.A | -.

Series: Monographs in theoretical computer science : an EATCS seriesEdition: Language: English Publication details: Berlin ; Springer, ; 2002Availability: Items available for loan: 1 Call number: 512:531.76 Bae.

CONCUR 90 : theories of concurrency : unification and extension : proceedings, Amsterdam, The Netherlands, Aug. 27-30, 1990

by | Baeten, J.C.M | Baeten, J.C.M.

Series: Lecture notes in computer science ; v.458Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1990Availability: Items available for loan: 1 Call number: 681.327.8CON:1:90.

Process algebra : equational theories of communicating processes

by Baeten, J.C.M | Basten, T | Reniers, M.A | .

Series: Cambridge tracts in theoretical computer science ; v.50Edition: Language: English Publication details: Cambridge ; Cambridge University Press ; 2010Availability: Items available for loan: 3 Call number: 681.3:51Bae(3), ...

Pages

Powered by Koha