arXiv:1701.00161 University of Colorado Boulder 15 pages http://arxiv.org/abs/1701.00161 : Abstracting Event-Driven Systems with Lifestate Rules | Bor-Yuh Evan Chang

Reference

2017

detail
pdf

Abstracting Event-Driven Systems with Lifestate Rules

Shawn Meier, Aleksandar Chakarov, Max Russek, Sergio Mover, and Bor-Yuh Evan Chang

Technical Report (arXiv:1701.00161)