hrcak mascot   Srce   HID

Izvorni znanstveni članak
https://doi.org/10.2498/cit.2005.04.09

AsmL Specification and Verification of Lamport’s Bakery Algorithm

Matko Botinčan

Puni tekst: engleski, pdf (304 KB) str. 313-319 preuzimanja: 766* citiraj
APA 6th Edition
Botinčan, M. (2005). AsmL Specification and Verification of Lamport’s Bakery Algorithm. Journal of computing and information technology, 13 (4), 313-319. https://doi.org/10.2498/cit.2005.04.09
MLA 8th Edition
Botinčan, Matko. "AsmL Specification and Verification of Lamport’s Bakery Algorithm." Journal of computing and information technology, vol. 13, br. 4, 2005, str. 313-319. https://doi.org/10.2498/cit.2005.04.09. Citirano 22.07.2019.
Chicago 17th Edition
Botinčan, Matko. "AsmL Specification and Verification of Lamport’s Bakery Algorithm." Journal of computing and information technology 13, br. 4 (2005): 313-319. https://doi.org/10.2498/cit.2005.04.09
Harvard
Botinčan, M. (2005). 'AsmL Specification and Verification of Lamport’s Bakery Algorithm', Journal of computing and information technology, 13(4), str. 313-319. https://doi.org/10.2498/cit.2005.04.09
Vancouver
Botinčan M. AsmL Specification and Verification of Lamport’s Bakery Algorithm. Journal of computing and information technology [Internet]. 2005 [pristupljeno 22.07.2019.];13(4):313-319. https://doi.org/10.2498/cit.2005.04.09
IEEE
M. Botinčan, "AsmL Specification and Verification of Lamport’s Bakery Algorithm", Journal of computing and information technology, vol.13, br. 4, str. 313-319, 2005. [Online]. https://doi.org/10.2498/cit.2005.04.09

Sažetak
We present a specification of Lamport’s Bakery algorithm written in AsmL specification language. By exploration of the state space of the induced labeled transition system we show how to verify important safety and liveness properties of the algorithm.

Hrčak ID: 44683

URI
https://hrcak.srce.hr/44683

Posjeta: 882 *