McErlang

swMATH9716MaRDI QIDQ21695FDOQ21695

Author name not available (Why is that?)

Official website: http://babel.ls.fi.upm.es/~fred/McErlang/

Cited In (6)

• Towards Erlang verification by term rewriting
• Declarative debugging of concurrent Erlang programs
• Erlang
• HaRe
• evt
• Equational abstractions for reducing the state space of rewrite theories

This page was built for software: McErlang