Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 7 results. Subscribe to this search

|
Applications of process algebra / ed. J. C. M. Baeten Monografia Publication Cambridge : Cambridge University Press, 1990 Description IX, 317 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
CONCUR'90 : theories of concurrency : unification and extension / ed. J. C. M. Baeten, J. W. Klop Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description VII, 536 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Lost (1).

Place hold Add to cart
No cover image available
Process algebra / J. C. M. Baeten, W. P. Weijland Monografia Publication Cambridge : Cambridge University Press, imp. 1995 Description [8], 248 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Process algebra : equational theories of communicating processes / J. C. M. Baeten, T. Basten, M. A. Reniers Monografia Publication Cambridge : Cambridge University Press, 2010 Description XVI, 460 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Concur'99 : concurrency theory : proceedings / 10th International Conference... ; ed. Jos C. M. Baeten, Sjouke Mauw Monografia Publication Berlin : Springer, cop. 1999 Description XI, 572 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Automata, languages and programming : proceedings / 30th International Colloquium, ICALP 2003 ; ed. Jos C.M. Baeten... [et al.] Monografia Publication Berlin : Springer, cop. 2003 Description XVIII, 1199 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Concur'91 : proceedings / 2nd International Conference on Concurrency Theory ; ed. J. C. M. Baeten, J. F. Groote Monografia Publication Berlin : Springer-Verlag, 1991 Description IX, 539 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart