Specifying Reactive Systems by Abstract Events

Egidio Astesiano, Gianna Reggio. Specifying Reactive Systems by Abstract Events. In Jack C. Wileden, editor, Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993. pages 122-131, IEEE Computer Society, 1993.