scientific article; zbMATH DE number 7800871
From MaRDI portal
Publication:6190870
arXiv2209.02356MaRDI QIDQ6190870
Publication date: 6 February 2024
Full work available at URL: https://arxiv.org/abs/2209.02356
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- A new approach to abstract syntax with variable binding
- A calculus of mobile processes. I
- A theory of encodings and expressiveness (extended abstract)
- Towards a unified approach to encodability and separation results for process calculi
- On the Expressive Power of Polyadic Synchronisation in π-calculus
- Psi-calculi: a framework for mobile processes with nominal data and logic
- From π-calculus to higher-order π-calculus — and back
- Higher-order psi-calculi
- Full abstraction for expressiveness: history, myths and facts
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
