scientific article; zbMATH DE number 7800872
From MaRDI portal
Publication:6190871
arXiv2209.06819MaRDI QIDQ6190871
Nobuko Yoshida, Kirstin Peters
Publication date: 6 February 2024
Full work available at URL: https://arxiv.org/abs/2209.06819
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Theory of interaction
- On the expressiveness of interaction
- A calculus of mobile processes. I
- Mobile ambients
- A theory of encodings and expressiveness (extended abstract)
- What is a ``good encoding of guarded choice?
- The origins of structural operational semantics
- Towards a unified approach to encodability and separation results for process calculi
- Mixed sessions
- Coupled similarity: the first 32 years
- Distributability of mobile ambients
- Expressiveness of Process Algebras
- Is It a “Good” Encoding of Mixed Choice?
- Breaking symmetries
- Synchrony versus causality in distributed systems
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
- On Distributability in Process Calculi
- General conditions for full abstraction
- Comparing the expressiveness of the \(\pi \)-calculus and CCS
- Generalising Projection in Asynchronous Multiparty Session Types.
This page was built for publication:
