AsmL Specification and Verification of Lamport's Bakery Algorithm

Uložené v:
Podrobná bibliografia
Vydané 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ý príspevok..
Jazyk:English
Vydavateľské údaje: Zagreb University Computing Centre 2005
Predmet:
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 prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
ISBN:9789537138028
953713802X