Publications:Robustness of behavioral equivalence on open terms
From CERES
| Title | Robustness of behavioral equivalence on open terms |
|---|---|
| Author | Peter D. Mosses and Mohammad Reza Mousavi and Michel A. Reniers |
| Year | 2010 |
| PublicationType | Report |
| Journal | |
| HostPublication | |
| DOI | |
| Conference | |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584467 |
| Abstract |
