scientific article
From MaRDI portal
Publication:3774958
zbMath0635.68058MaRDI QIDQ3774958
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP, Asynchronous Traces and Open Petri Nets, A distributed operational semantics of CCS based on condition/event systems, Partial ordering models for concurrency can be defined operationally, Modelling mutual exclusion in a process algebra with time-outs, Just testing, Ugo Montanari and Concurrency Theory, A partial ordering semantics for CCS, Step semantics for ``true concurrency with recursion, Step failures semantics and a complete proof system, A true concurrency model of CCS semantics, Pierpaolo Degano, Failures semantics based on interval semiwords is a congruence for refinement, CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
