Mathematical Relations Qrs
1 Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming joint work with Ugo Montanari Ivan Lanese Dipartimento di Informatica Università.
Tim Sheard Oregon Graduate Institute Lecture 11: A Reduction Semantics for MetaML CS510 Section FSC Winter 2005 Winter 2005.
Mobile Calculi
Mathematical Relations Qrstuz
Prof. Diletta Romana Cacciagrano. (red-cong) :
Checking Reachability using Matching Logic
Communication and Concurrency: CCS