Bounded stacks, bags and queues

DOI10.1007/3-540-63141-0_8MaRDI QIDQ6044112zbMATH OpenOpenAlexFDO

Authors Jos C. M. Baeten, J. A. Bergstra

Publication date 17 May 2023

Published in CONCUR '97: Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://pure.tue.nl/ws/files/1550537/9714767.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4037178
• Specifying concurrent objects as communicating processes
• Non-regular iterators in process algebra
• Two finite specifications of a queue
• Modular specification of process algebras

Cites work

• Global renaming operators in concrete process algebra
• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 3978362 (Why is no real title available?)
• scientific article; zbMATH DE number 4037178 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3894457 (Why is no real title available?)
• Process Algebra

Cited in

(4)

• Two finite specifications of a queue
• scientific article; zbMATH DE number 4037178 (Why is no real title available?)
• Non-regular iterators in process algebra
• Stack and queue number of 2-trees

This page was built for publication: Bounded stacks, bags and queues

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