author: carolyn talcott

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic

Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Carolyn Talcott

... Computer Science Laboratory, SRI International (2000), http://www.lcc.uma.es ... cs.uiuc.edu/papers/ Durán, F.: A Reflective Module Algebra with Applications ... 105. Durán, F., Lucas, S., Meseguer, J., Marché, C., Urbain, X.: Proving ...

Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

Farhad Arbab Carolyn Talcott

Computers

... avatar a of type t (if specified). Destroys (deletes) an entity a (a reification or an avatar). Creates a reification N between avatar a and meta-component m. Finds a reification link between avatar a and meta-component m. trusion ...