Cited By
View all- Earle CFredlund LDerrick JSagonas KArmstrong J(2005)Verifying fault-tolerant Erlang programsProceedings of the 2005 ACM SIGPLAN workshop on Erlang10.1145/1088361.1088367(26-34)Online publication date: 26-Sep-2005
- Arts TEarle CSanchez Penas J(2004)Translating Erlang to μCRLProceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.10.1109/CSD.2004.1309124(135-144)Online publication date: 2004