Elementary structures in process theory (1): Sets with renaming

DOI10.1017/S0960129599002947zbMath0968.68112OpenAlexW2075077574MaRDI QIDQ4526151

Kohei Honda

Publication date: 16 January 2001

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129599002947

zbMATH Keywords

process calculi

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Nominal logic, a first order theory of names and binding, A program logic for fresh name generation, Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators, Linearity and bisimulation, Dynamic connectors for concurrency