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. 584 - 590
Hlavní autor:	Botincan, M.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 2005
Témata:	Algebra Computational modeling Concurrent computing Distributed algorithms Formal verification Mathematics Parallel algorithms Safety Specification languages State-space methods
ISBN:	9789537138028, 953713802X
ISSN:	1330-1012
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!