Sciweavers

FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
14 years 5 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra