scientific article; zbMATH DE number 7441269

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A Higher-Order Logic for Concurrent Termination-Preserving Refinement ⋮ Unnamed Item

Uses Software

• go

Cites Work

• Unnamed Item
• Polarized Substructural Session Types
• Session Types as Intuitionistic Linear Propositions

This page was built for publication: