Publication:4417873
From MaRDI portal
zbMath1029.68111MaRDI QIDQ4417873
Paweł Sobociński, Vladimiro Sassone
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200409.htm
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
18C50: Categorical semantics of formal languages
Related Items
RPO, Second-Order Contexts, and λ-Calculus, Locating reaction with 2-categories, Observational congruences for dynamically reconfigurable tile systems