Publicaciones en las que colabora con Thomas Arts (3)

2004

  1. Translating Erlang to μCRL

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

2003

  1. VoDkaV tool: model checking for extracting global scheduler properties from local restrictions

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

2002

  1. Global scheduler properties derived from local restrictions

    ACM SIGPLAN Erlang Workshop