Playing with bisimulation in Erlang
DOI10.1007/978-3-030-21485-2_6MaRDI QIDQ6199103
Gianluigi Zavattaro, Ivan Lanese, Davide Sangiorgi
Publication date: 23 February 2024
Published in: Models, Languages, and Tools for Concurrent and Distributed Programming (Search for Journal in Brave)
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
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)
