Models and Applications of Distributed Systems
MADS
University of Kent
Canterbury, Reino UnidoPublicaciones en colaboración con investigadores/as de University of Kent (1)
2004
-
Translating Erlang to μCRL
Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004