Publication:5014814

zbMath1483.68069arXiv1701.04929MaRDI QIDQ5014814

Frank Pfenning, Max Willsey, Rokhini Prabhu

Publication date: 8 December 2021

Full work available at URL: https://arxiv.org/abs/1701.04929

Mathematics Subject Classification ID

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

A Higher-Order Logic for Concurrent Termination-Preserving Refinement

Uses Software

• go