Featherweight Scribble

DOI10.1007/978-3-030-21485-2_14OpenAlexW4252971638MaRDI QIDQ6199108

Nobuko Yoshida, Rumyana Neykova

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: http://hdl.handle.net/10044/1/72163

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Communicating finite state machines and an extensible toolchain for multiparty session types

This page was built for publication: Featherweight Scribble