scientific article; zbMATH DE number 1392304
From MaRDI portal
Publication:4936143
zbMath0945.18500MaRDI QIDQ4936143
James Worrell, Peter T. Johnstone, Hiroshi Watanabe, A. John Power, Toru Tsujishita
Publication date: 25 January 2000
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) Categories of machines, automata (18B20)
Related Items
On the structure of categories of coalgebras ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages
