scientific article; zbMATH DE number 4121471
From MaRDI portal
Publication:4734781
zbMath0684.68094MaRDI QIDQ4734781
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Timing and causality in process algebra ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ On hierarchically developing reactive systems ⋮ Progress assumption in concurrent systems ⋮ Action Refinement in Process Algebra and Security Issues
This page was built for publication: