Author:
Claessen Koen,Svensson Hans
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Causal-Consistent Debugging of Distributed Erlang Programs;Reversible Computation;2021
2. Modelling distributed Erlang within a single node;Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang;2018-09-29
3. Towards Erlang Verification by Term Rewriting;Logic-Based Program Synthesis and Transformation;2014
4. A Declarative Debugger for Sequential Erlang Programs;Tests and Proofs;2013
5. McErlang;ACM SIGPLAN Notices;2007-10