scientific article; zbMATH DE number 4037178

zbMATH Open0636.68025MaRDI QIDQ3776607FDOQ3776607

Authors: J. A. Bergstra, Jerzy Tiuryn 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• The parallel composition of uniform processes with data
• scientific article; zbMATH DE number 3978362
• Bounded stacks, bags and queues
• Two finite specifications of a queue
• scientific article; zbMATH DE number 3903948

zbMATH Keywords

algebraic semanticsmodels of computationatomic actionsconfigurations of actionsunbounded queue

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Cited In (7)

• Modular specification of process algebras
• Two finite specifications of a queue
• The parallel composition of uniform processes with data
• Bounded stacks, bags and queues
• Global renaming operators in concrete process algebra
• Reflections on a Geometry of Processes
• Non-regular iterators in process algebra

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3776607)