Sequential relational decomposition

The concept of decomposition in computer science and engineering is considered a fundamental component of computational thinking and is prevalent in design of algorithms, software construction, hardware design, and more. We propose a simple and natural formalization of sequential decomposition, in w...

Full description

Bibliographic Details
Main Authors: Fried, D, Legay, A, Ouaknine, J, Vardi, M
Format: Conference item
Published: Association for Computing Machinery 2018

Similar Items