Translating Erlang to mCRL
Paper in proceedings, 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

More information

Created

10/10/2017