Translating Erlang to μCRL

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

10.1109/csd.2004.1309124 ◽

2004 ◽

Cited By ~ 1

Author(s):

T. Arts ◽

C.B. Earle ◽

J.J. Sanchez Penas

Download Full-text