scientific article
From MaRDI portal
Publication:3745263
zbMath0606.68022MaRDI QIDQ3745263
No author found.
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
terminationmessage passinginformation hidingdeadlockliveness propertiesmodelling processes and networks of processesrecursively-defined networksspecification and correctness proof for a recursive networktemporal proof system for processes
Related Items (4)
A model and temporal proof system for networks of processes ⋮ Expressiveness of propositional projection temporal logic with star ⋮ Control machines: A new model of parallelism for compositional specifications and their effective compilation ⋮ Process specification and verification
This page was built for publication:
