Sciweavers

173
Voted
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
16 years 5 days 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