Author of the publication

Reactivity and Grammars: An Exploration.

, , and . Language, Culture, Computation (1), volume 8001 of Lecture Notes in Computer Science, page 103-155. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Rule Systems for Runtime Verification: A Short Tutorial., , , and . RV, volume 5779 of Lecture Notes in Computer Science, page 1-24. Springer, (2009)From Runtime Verification to Evolvable Systems., , and . RV, volume 4839 of Lecture Notes in Computer Science, page 97-110. Springer, (2007)Computational Category Theory, and . Prentice-Hsll International Series in Computer Science Prentice-Hall, First Edition edition, (Jun 1, 1989)Modelling Evolvable Systems: A Temporal Logic View., and . We Will Show Them! (1), page 195-228. College Publications, (2005)Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms., and . Category Theory and Computer Science, volume 283 of Lecture Notes in Computer Science, page 114-139. Springer, (1987)Towards a Categorical Semantics Type Classes., and . MFCS, volume 520 of Lecture Notes in Computer Science, page 191-201. Springer, (1991)Adjunction.. CTCS, volume 240 of Lecture Notes in Computer Science, page 51-57. Springer, (1985)Computing with Categories., and . CTCS, volume 240 of Lecture Notes in Computer Science, page 506-519. Springer, (1985)A Theory of Classes: Proofs and Models., and . Math. Struct. Comput. Sci., 7 (2): 95-127 (1997)ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems., , and . RV, volume 6418 of Lecture Notes in Computer Science, page 469-474. Springer, (2010)