×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [bisimulation equivalence]
Home >
bisimulation equivalence
4/25/20151 Metodi formali nello sviluppo software a.a.2013/2014 Prof.Anna Labella.
212 views
Behavioral Equivalence Hossein Hojjat Formal Lab University of Tehran.
219 views
1212 Models of Computation: Automata and Processes Jos Baeten.
225 views
A summary of our activities about WSI Philippe Giabbanelli CMPT 894 – Spring 2008.
216 views
ECDAR Composition of Real-Time Specifications — Revisited Kim Guldstrand Larsen Aalborg University, DENMARK.
222 views
A summary of our activities about WSI
42 views