×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [reduction semantics]
Home >
reduction semantics
Mathematical Relations Qrs
230 views
1 Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming joint work with Ugo Montanari Ivan Lanese Dipartimento di Informatica Università.
220 views
Tim Sheard Oregon Graduate Institute Lecture 11: A Reduction Semantics for MetaML CS510 Section FSC Winter 2005 Winter 2005.
214 views
Mobile Calculi
28 views
Mathematical Relations Qrstuz
221 views
Prof. Diletta Romana Cacciagrano. (red-cong) :
224 views
Checking Reachability using Matching Logic
28 views
Communication and Concurrency: CCS
58 views