Expressions as systems specified in Contact

• mémoire - matière potentielle : space

Expressions as systems specified in Contact Antonio Natali Alma Mater Studiorum University of Bologna viale Risorgimento 2, 40136 Bologna, Italy Abstract. This work explores the world of Contact with reference to expressions interpreted as distributed systems. Keywords: Language, operational semantics, expressions, Contact , .... 1 Introduction Contact is a language introduced to specify high-level communication patterns among the components of a software system.

• ilindalike
• public imessage
• m2m transformation chain
• chain of m2m
• m2m
• public interface imessageandcontext
• medcl
• contact
• operation
• model