Elementary structures in process theory (1): Sets with renaming
From MaRDI portal
Publication:4526151
Recommendations
Cited in
(10)- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
- What is a free name in a process algebra?
- Normal forms for algebras of connections.
- About permutation algebras, (pre)sheaves and named sets
- Nominal logic, a first order theory of names and binding
- Linearity and bisimulation
- Dynamic connectors for concurrency
- Algebraic theories for name-passing calculi
- A program logic for fresh name generation
- Global renaming operators in concrete process algebra
This page was built for publication: Elementary structures in process theory (1): Sets with renaming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4526151)