A Logical Viewpoint on Process-Algebraic Quotients
Download:
|
|
by Fi Mu, Javier Esparza, Javier Esparza
http://www.fi.muni.cz/informatics/reports/rep/../postscript/FIMU-RS-2000-01.ps
Add To MetaCart
Abstract:
w\Delta\Theta\Xi\Pi\Sigma\Upsilon\Phi\Omega fffiflffiij`'ae/!"#$%&'()+,-./012345!yA---
Citations
| 1393 | A theory of timed automata – Alur, Dill - 1994 |
| 42 | Bisimulation collapse and the process taxonomy – Burkart, Caucal, et al. - 1996 |
