Showing 1 - 20 results of 48 for search 'Baeten, J. C. M.', query time: 0.34s Refine Results
  1. 1
    Filters and ultrafilters over definable subsets of admissible ordinals /

    Book
  2. 2
    Process algebra with timing /
    by Baeten, J. C. M, Baeten, J. C. M
    Published 2002

    Book
  3. 3
    Process algebra : equational theories of communicating processes /
    by Baeten, J. C. M, Baeten, J. C. M
    Published 2010

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  4. 4
    Process algebra : equational theories of communicating processes /
    by Baeten, J. C. M, Baeten, J. C. M
    Published 2010

    Book
  5. 5
    Process algebra /
    by Baeten, J. C. M, Baeten, J. C. M
    Published 1990

    Book
  6. 6
    CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings /
    by Baeten, J. C. M
    Published 1991

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  7. 7
    Automata, Languages and Programming : 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings /
    by Baeten, J. C. M
    Published 2003

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 8
    Automata, languages and programming : 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings / Jos C.M. Baeten ... [et al.] (Eds.)
    Published 2003
    Other Authors: “...Baeten, J. C. M...”

    Conference Proceeding Book
  9. 9
    Applications of process algebra /
    Published 1990
    Other Authors: “...Baeten, J. C. M...”

    Book
  10. 10
    CONCUR'99. Concurrency Theory : 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings /
    Published 1999
    Other Authors: “...Baeten, J. C. M....”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  11. 11
    CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings /
    Published 1999
    Other Authors: “...Baeten, J. C. M...”

    Conference Proceeding Book
  12. 12
    CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings /
    Published 1999
    Other Authors: “...Baeten, J. C. M...”

    Conference Proceeding Book
  13. 13
    Applications of process algebra /
    Published 2004
    Other Authors: “...Baeten, J. C. M...”

    Book
  14. 14
    Automata, languages and programming : 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings / Jos C.M. Baeten ... [et al.] (Eds.)
    Published 2003
    Other Authors: “...Baeten, J. C. M...”

    Conference Proceeding Book
  15. 15
    CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings /
    Published 1990
    Other Authors: “...Baeten, J. C. M...”

    Book
  16. 16
    CONCUR'99, concurrency theory : 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999 : proceedings /
    Published 1999
    Other Authors: “...Baeten, J. C. M...”

    Conference Proceeding Book
  17. 17
    CONCUR'99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings /
    Published 1999
    Other Authors: “...Baeten, J. C. M...”

    Conference Proceeding Book
  18. 18
    CONCUR '99, concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings /
    Published 1999
    Other Authors: “...Baeten, J. C. M...”

    Conference Proceeding Book
  19. 19
    CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings /
    Published 1990
    Other Authors: “...Baeten, J. C. M...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  20. 20
    Term rewriting analysis in process algebra
    Published 1991
    Other Authors: “...Baeten, J. C. M...”

    Book
Search Tools: Get RSS Feed — Email this Search