Publication:4734781
From MaRDI portal
zbMath0684.68094MaRDI QIDQ4734781
Publication date: 1989
Related Items
Action Refinement in Process Algebra and Security Issues, Progress assumption in concurrent systems, Timing and causality in process algebra, On hierarchically developing reactive systems, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra