Property-dependent reductions adequate with divergence-sensitive branching bisimilarity.
| Autor: | Mateescu, Radu1 Radu.Mateescu@inria.fr, Wijs, Anton2 A.J.Wijs@tue.nl |
|---|---|
| Zdroj: | Science of Computer Programming. Dec2014 Part 3, Vol. 96, p354-376. 23p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
Full Text from ScienceDirect