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

DOI10.1017/S0960129599002947MaRDI QIDQ4526151zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1231519
• Algebraic calculi of processes and net expressions
• Algebraic theories for name-passing calculi
• About permutation algebras, (pre)sheaves and named sets
• What is a free name in a process algebra?

Cited in

(11)

• Global renaming operators in concrete process algebra
• Dynamic connectors for concurrency
• Normal forms for algebras of connections.
• Nominal logic, a first order theory of names and binding
• Algebraic theories for name-passing calculi
• A program logic for fresh name generation
• What is a free name in a process algebra?
• scientific article; zbMATH DE number 1231519 (Why is no real title available?)
• Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
• About permutation algebras, (pre)sheaves and named sets
• Linearity and bisimulation

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)