Publication:5014814
From MaRDI portal
zbMath1483.68069arXiv1701.04929MaRDI QIDQ5014814
Max Willsey, Rokhini Prabhu, Frank Pfenning
Publication date: 8 December 2021
Full work available at URL: https://arxiv.org/abs/1701.04929
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15: Theory of programming languages
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Uses Software
Cites Work