scientific article; zbMATH DE number 7438558
From MaRDI portal
Publication:5013869
zbMath1476.68171arXiv1508.06709MaRDI QIDQ5013869
Jovana Dedeić, Jovanka Pantović, Jorge A. Pérez
Publication date: 3 December 2021
Full work available at URL: https://arxiv.org/abs/1508.06709
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The \(C_\pi\)-calculus: a model for confidential name passing ⋮ On primitives for compensation handling as adaptable processes
Cites Work
- Unnamed Item
- Event-based run-time adaptation in communication-centric systems
- A calculus of mobile processes. I
- Towards a unified approach to encodability and separation results for process calculi
- Structured Interactional Exceptions in Session Types
- On the Expressive Power of Primitives for Compensation Handling
- On the expressive power of process interruption and compensation
- Adaptable processes
- Foundations of Software Science and Computational Structures
- Formal Methods for Open Object-Based Distributed Systems
This page was built for publication: