Bounded stacks, bags and queues

DOI10.1007/3-540-63141-0_8zbMath1512.68147OpenAlexW2100120854MaRDI QIDQ6044112

Jos C. M. Baeten, Jan 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)

Cites Work

• Global renaming operators in concrete process algebra
• Process Algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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