×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [reduction semantics]
Documents
Mathematical Relations Qrs
240 views
Documents
1 Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming joint work with Ugo Montanari Ivan Lanese Dipartimento di Informatica Università
224 views
Documents
Tim Sheard Oregon Graduate Institute Lecture 11: A Reduction Semantics for MetaML CS510 Section FSC Winter 2005 Winter 2005
215 views
Documents
Mobile Calculi
36 views
Documents
Mathematical Relations Qrstuz
225 views
Documents
Prof. Diletta Romana Cacciagrano. (red-cong) :
231 views
Documents
Checking Reachability using Matching Logic
37 views
Documents
Communication and Concurrency: CCS
75 views