Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution

Simple item page
dc.creatorHuggins, James K.
dc.date1998-10-26
dc.date.accessioned2026-07-07T03:23:45Z
dc.date.available2026-07-07T03:23:45Z
dc.descriptionWe apply the Gurevich Abstract State Machine methodology to a benchmark specification problem of Broy and Lamport.
dc.identifierhttps://arxiv.org/abs/cs/9810022
dc.identifierhttp://arxiv.org/abs/cs/9810022
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/33069
dc.subjectSoftware Engineering
dc.subjectD.2.4
dc.titleBroy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
dc.typetext

Files

Collections

arXiv