AsmL specification and verification of Lamport's bakery algorithm

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ITI 2005 : proceedings of the 27th International Conference on Information Technology Interfaces : June 20-23, 2005, Cavtat, Croatia S. 584 - 590
1. Verfasser:	Botincan, M.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 2005
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!