zbMath0674.68017MaRDI QIDQ3829059
Józef Winkowski
Publication date: 1989
zbMATH Keywords
equivalence; process; distributed environments; configuration systems
Mathematics Subject Classification ID
68Q65: Abstract data types; algebraic specification
68N25: Theory of operating systems
Related Items