scientific article; zbMATH DE number 7441268

zbMath1483.68068arXiv1701.04920MaRDI QIDQ5014811

No author found.

Publication date: 8 December 2021

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

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) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Relating state-based and process-based concurrency through linear logic (full-version)
• Functions as Session-Typed Processes
• Polarized Substructural Session Types
• Session Types as Intuitionistic Linear Propositions
• Aspects of Applicative Programming for Parallel Processing
• Higher-Order Processes, Functions, and Sessions: A Monadic Integration
• Linear logic propositions as session types

This page was built for publication: