Bergstra, J. A., & Klop, J. W. (1984). Fair FIFO queues satisfy an algebraic criterion for protocol correctness.
Chicago-Zitierstil (17. Ausg.)Bergstra, Jan A., und Jan Willem Klop. Fair FIFO Queues Satisfy an Algebraic Criterion for Protocol Correctness. Amsterdam, 1984.
MLA-Zitierstil (9. Ausg.)Bergstra, Jan A., und Jan Willem Klop. Fair FIFO Queues Satisfy an Algebraic Criterion for Protocol Correctness. 1984.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.