About permutation algebras, (pre)sheaves and named sets
From MaRDI portal
Publication:853745
DOI10.1007/s10990-006-8749-3zbMath1105.68083MaRDI QIDQ853745
Ugo Montanari, Fabio Gadducci, Marino Miculan
Publication date: 17 November 2006
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10990-006-8749-3
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)