Computability structures, simulations and realizability
From MaRDI portal
Publication:5740351
DOI10.1017/S0960129513000182zbMath1342.68132MaRDI QIDQ5740351
Publication date: 26 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items
Cites Work