scientific article; zbMATH DE number 7440182

zbMath1478.68190arXiv1608.03129MaRDI QIDQ5015360

Paola Giannini, Mariangiola Dezani-Ciancaglini

Publication date: 7 December 2021

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

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

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Reversibility in session-based concurrency: a fresh look ⋮ Unnamed Item ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reversible client/server interactions
• Reversible session-based pi-calculus
• Subtyping for session types in the pi calculus
• Reversing algebraic process calculi
• Types for Role-Based Access Control of Dynamic Web Data
• Controlling Reversibility in Higher-Order Pi
• Reversing Single Sessions
• Multiparty asynchronous session types
• Reversing Higher-Order Pi
• Communicating Transactions
• CONCUR 2004 - Concurrency Theory
• Dynamic multirole session types
• Bisimulations for Communicating Transactions
• Sub-behaviour relations for session-based client/server systems
• Global progress for dynamically interleaved multiparty sessions
• Modelling session types using contracts

This page was built for publication: