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. 617 - 623
Main Author: BOTINCAN, Matko
Format: Conference Proceeding
Language:English
Published: Zagreb University Computing Centre 2005
Subjects:
Applied sciences
Computer science; control theory; systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Programming languages
Software
Specification language
Labelled transition system
Safety
Liveness
Reachability analysis
ISBN:9789537138028, 953713802X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISBN:9789537138028
953713802X