AsmL specification and verification of Lamport's bakery algorithm

Saved in:

Bibliographic Details
Published in:	ITI 2005 : proceedings of the 27th International Conference on Information Technology Interfaces : June 20-23, 2005, Cavtat, Croatia pp. 584 - 590
Main Author:	Botincan, M.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 2005
Subjects:	Algebra Computational modeling Concurrent computing Distributed algorithms Formal verification Mathematics Parallel algorithms Safety Specification languages State-space methods
ISBN:	9789537138028, 953713802X
ISSN:	1330-1012
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!