scientific article; zbMATH DE number 1984131
From MaRDI portal
Publication:4427765
zbMath1022.18002MaRDI QIDQ4427765
Publication date: 22 September 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Categories of sets, characterizations (18B05)
Related Items (2)
This page was built for publication: