3619326

AsmL specification and verification of Lamport´s bakery algorithm

M. Botincan

2005

6/27/1905 12:00:00 AM

584

590

"Specification languages","Distributed algorithms","Mathematics","State-space methods","Safety","Formal verification","Algebra","Computational modeling","Parallel algorithms","Concurrent computing"

ieee

Information Technology Interfaces, 2005. 27th International Conference on

1330-1012

953-7138-02-X

conf

10.1109/ITI.2005.1491194

1491194