<--- Back to Details
First PageDocument Content
Equivalence relation / Simulation preorder
Date: 2012-12-31 04:25:32
Equivalence relation
Simulation preorder

A Notion of Glue Expressiveness for Component-Based Systems Simon Bliudze1 and Joseph Sifakis1 ´ VERIMAG, Centre Equation, 2 av de Vignate, 38610, Gi`eres, France

Add to Reading List

Source URL: www-verimag.imag.fr

Download Document from Source Website

File Size: 225,35 KB

Share Document on Facebook

Similar Documents