scientific article
From MaRDI portal
Publication:3995646
zbMath0734.68035MaRDI QIDQ3995646
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
transputeroccamtrace modelasynchronous VLSI circuitsConcurrency and communicationdesign of communications protocolsreasoning in CSPtheory of Communicating Sequential Processes
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Threat scenarios as a means to formally develop secure systems ⋮ Synchronous, asynchronous, and causally ordered communication ⋮ Semantic models for information flow
This page was built for publication:
