Publications in collaboration with researchers from University of Kent (1)

2004

  1. Translating Erlang to μCRL

    Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004