Views of queues

DOI10.1016/0167-6423(88)90065-2zbMath0665.68014OpenAlexW2012364038MaRDI QIDQ1116323

Manfred Broy

Publication date: 1988

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(88)90065-2

zbMATH Keywords

verificationFunctional programmingalgebraic specificationconcurrent communicating systemsqueue data type

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (2)

Specification and design of shared resource arbitration ⋮ Modular specification of process algebras

This page was built for publication: Views of queues