scientific article
From MaRDI portal
Publication:3792236
zbMath0647.68038MaRDI QIDQ3792236
Roberto Gorrieri, Sergio Marchetti, Ugo Montanari
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsCCScalculus for communicating processcompositional transition systemsoperational model of atomic actionsprefix operation
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (2)
A semantic characterization for faults in replicated systems ⋮ An algebraic view of interleaving and distributed operational semantics for CCS
This page was built for publication:
