Expressive Completeness of an Event-Pattern Reactive Programming Language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna. Expressive Completeness of an Event-Pattern Reactive Programming Language. In Farn Wang, editor, Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings. Volume 3731 of Lecture Notes in Computer Science, pages 529-532, Springer, 2005. [doi]

This author has not been identified. Look up 'César Sánchez' in GoogleThis author has not been identified. Look up 'Matteo Slanina' in GoogleThis author has not been identified. Look up 'Henny B. Sipma' in GoogleThis author has not been identified. Look up 'Zohar Manna' in Google

runs on WebDSL