Elementary structures in process theory (1): Sets with renaming
From MaRDI portal
Publication:4526151
DOI10.1017/S0960129599002947zbMath0968.68112MaRDI QIDQ4526151
Publication date: 16 January 2001
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators, Linearity and bisimulation, Dynamic connectors for concurrency, Nominal logic, a first order theory of names and binding