A preliminary version `Computation and Specification Models. A Comparative Study' appeared in Proc. Workshop on Action Semantics (FLOC'02), BRICS Series NS-02-08 at University of Aarhus, pages 107-130, 2002
Abstract State Machines: A Unifying View of Models of Computation and of System Design Frameworks
BORGER, EGON
2005-01-01
Abstract
A preliminary version `Computation and Specification Models. A Comparative Study' appeared in Proc. Workshop on Action Semantics (FLOC'02), BRICS Series NS-02-08 at University of Aarhus, pages 107-130, 2002File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
