AsmL Specification and Verification of Lamport's Bakery Algorithm

Uloženo v:
Podrobná bibliografie
Vydáno v:ITI 2005 : proceedings of the 27th International Conference on Information Technology Interfaces : June 20-23, 2005, Cavtat, Croatia s. 617 - 623
Hlavní autor: BOTINCAN, Matko
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: Zagreb University Computing Centre 2005
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
ISBN:9789537138028
953713802X