Publication:3776607
From MaRDI portal
zbMath0636.68025MaRDI QIDQ3776607
Publication date: 1987
algebraic semantics; models of computation; atomic actions; configurations of actions; unbounded queue
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68Q55: Semantics in the theory of computing
68Q65: Abstract data types; algebraic specification
68N25: Theory of operating systems
Related Items
Global renaming operators in concrete process algebra, Two finite specifications of a queue, Modular specification of process algebras