A new linear logic for deadlock-free session-typed processes
type: Item
instance of: scholarly article
title: A new linear logic for deadlock-free session-typed processes
zbMATH Open document ID: 1491.68120
DOI: 10.1007/978-3-319-89366-2_5
author: Ornela Dardha
author: Simon J. Gay
publication date: 2018-07-17T00:00:00Z
full work available at URL: 161671.pdf
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F52
zbMATH DE Number: 6904531
MaRDI profile type: Publication
OpenAlex ID: W2797550608
Wikidata QID: Q57599625
Recommended article: A New Type System for Deadlock-Free Processes
Recommended article: Q4536623
Recommended article: Linear Logical Relations for Session-Based Concurrency
Recommended article: Linear logical relations and observational equivalences for session-based concurrency
Recommended article: Q5013868
Recommended article: Q4223021
Recommended article: A type system for lock-free processes
Recommended article: Relating State-Based and Process-Based Concurrency through Linear Logic
Recommended article: Relating state-based and process-based concurrency through linear logic (full-version)
Recommended article: Corecursion and Non-divergence in Session-Typed Processes
description: scientific article; zbMATH DE number 6904531