scientific article; zbMATH DE number 2222212
From MaRDI portal
Publication:5701004
zbMath1079.68515MaRDI QIDQ5701004
No author found.
Publication date: 2 November 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computer system organization (68M99) Distributed systems (68M14)
Related Items (2)
Tracking CSP computations ⋮ The symbiosis of concurrency and verification: teaching and case studies
This page was built for publication: