Translating Erlang to mCRL
Paper in proceeding, 2004
Author
Thomas Arts
University of Gothenburg
Clara Benac Earle
Juan José Sánchez Penas
In Proc. of Int. Conf. on Application of Concurrency to System Design
Subject Categories
Computer and Information Science