Simulation preorder
Results: 4
| # | Item |
|---|---|
1 | Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/Add to Reading ListSource URL: events.inf.ed.ac.ukLanguage: English - Date: 2012-10-10 03:52:07 |
2 | BRICS Basic Research in Computer Science BRICS RSAceto et al.: 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is notAdd to Reading ListSource URL: www.brics.dkLanguage: English - Date: 2000-09-06 03:22:49 |
3 | A bisimulation approach to verification of molecular implementations of formal chemical reaction networks A Thesis Presented by Qing DongAdd to Reading ListSource URL: www.dna.caltech.eduLanguage: English - Date: 2013-02-20 20:36:31 |
4 | A Notion of Glue Expressiveness for Component-Based Systems Simon Bliudze1 and Joseph Sifakis1 ´ VERIMAG, Centre Equation, 2 av de Vignate, 38610, Gi`eres, FranceAdd to Reading ListSource URL: www-verimag.imag.frLanguage: English - Date: 2012-12-31 04:25:32 |