Biblioteksøk

Vis søkeskjema

Søkte etter:

8 treff

Process algebra : equational theories of communicating processes

J.C.M. Baeten, T. Basten, M.A. Reniers
Bok Engelsk 2010

Automata, languages and programming : 30th international colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings

International Colloquium on Automata, Languages and Programming
Bok Engelsk 2003

Process algebra with timing

J.C.M. Baeten, C.A. Middelburg
Bok Engelsk 2002

CONCUR'99 : concurrency theory : 10th international conference, Eindhoven, The Netherlands, August 24-27, 1999 : proceedings

CONCUR '99
Bok Engelsk 1999

CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings

CONCUR '91
Bok Engelsk 1991

Applications of process algebra

edited by J. C. M. Baeten
Bok Språk ikke angitt 1990

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

CONCUR '90
Bok Engelsk 1990

Filters and ultrafilters over definable subsets of admissible ordinals

Baeten, J.C.M.
Bok Engelsk 1986

Velg språk

English
Nynorsk
Davvisámegillii
Valgt språk:Bokmål