×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [bisimulation equivalence]
Documents
4/25/20151 Metodi formali nello sviluppo software a.a.2013/2014 Prof.Anna Labella
212 views
Documents
Behavioral Equivalence Hossein Hojjat Formal Lab University of Tehran
221 views
Documents
1212 Models of Computation: Automata and Processes Jos Baeten
225 views
Documents
A summary of our activities about WSI Philippe Giabbanelli CMPT 894 – Spring 2008
216 views
Documents
ECDAR Composition of Real-Time Specifications — Revisited Kim Guldstrand Larsen Aalborg University, DENMARK
224 views
Documents
A summary of our activities about WSI
44 views