: an approach and technique for software development, which enables incremental development in a natural way.
BPJ: a Java library for scenario based programming
How to install
compositional real-time scheduling in Java
A combinatorial game
: a combinatorial games approach to controller design
: a memoryless output-feedback controller for finite-time stabilization