Author:
Lanese Ivan,Gössler Gregor
Publisher
Springer Nature Switzerland
Reference13 articles.
1. CauDEr repository (2024). https://github.com/mistupv/cauder
2. Kong Win Chang, A., Feret, J., Gössler, G.: A semantics of core Erlang with handling of signals. In: Kulahcioglu Ozkan, B., Fernandez-Reyes, K. (eds.) Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023, pp. 31–38. ACM (2023)
3. Lecture Notes in Computer Science;V Danos,2004
4. Lecture Notes in Computer Science;G Fabbretti,2021
5. Lecture Notes in Computer Science;E Giachino,2014