Tower is a concurrency framework for the Ivory language. Tower composes Ivory programs into monitors which communicate with synchronous channels.
Tower uses pluggable backends to support individual operating systems and target architectures. A backend for the FreeRTOS operating system running on the STM32 line of microcontrollers is available in the ivory-tower-stm32 repo, and a backend for general purpose POSIX operating systems is available in the ivory-tower-posix repo.
Copyright and license
Copyright 2015 Galois, Inc.
Licensed under the BSD 3-Clause License; you may not use this work except in compliance with the License. A copy of the License is included in the LICENSE file.
Portions Copyright (c) 2013-2014, Spiros Eliopoulos, derived from the now