This was proved by coming up with constructions that translated the steps in a computation between the various models. It was possible to show that if a computation could be described by one model, an ...

Computation Structures (6.004) is a sophomore-level subject offered by the MIT Department of Electrical Engineering and Computer Science. It's an introductory course about the design and ...

Abstract: An engineering-oriented performance model of a computation is developed by extending the concept of a computation structure to cover the performance costs appropriate to software modelling.

Abstract: We show that many of the so called discrete weak semilattices considered earlier in a series of author's publications have hereditary undecidable first-order theories. Since such structures ...