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

Authors

Huggins, James K.

Description

We apply the Gurevich Abstract State Machine methodology to a benchmark specification problem of Broy and Lamport.

Keywords

Software Engineering, D.2.4

URI

http://salesiana.dossiersoluciones.com/handle/123456789/33069

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/9810022
http://arxiv.org/abs/cs/9810022

Collections