zbMath0651.68032MaRDI QIDQ3796728
Józef Winkowski
Publication date: 1988
zbMATH Keywords
communication structures; operations; process equivalence; communicating processes
Mathematics Subject Classification ID
68Q65: Abstract data types; algebraic specification
68N25: Theory of operating systems