scientific article
From MaRDI portal
Publication:3736899
zbMath0601.68025MaRDI QIDQ3736899
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interleaving semanticsconcurrencyCCScommunicating sequential processescalculus of communicating systemsnondeterministic processessemantic model for CSPsemantics of parallel processes
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (1)
This page was built for publication:
