Playing with bisimulation in Erlang

DOI10.1007/978-3-030-21485-2_6MaRDI QIDQ6199103zbMATH OpenFDO

Authors Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro

Publication date 23 February 2024

Published in Models, Languages, and Tools for Concurrent and Distributed Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-21485-2_6

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The development of Erlang
• Abstraction and model checking of core Erlang programs in Maude
• Towards symbolic execution in Erlang
• Equational abstractions for model checking Erlang programs
• A formalisation of Core Erlang, a concurrent actor language

This page was built for publication: Playing with bisimulation in Erlang

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6199103)