Conference
Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes
| العنوان: | Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes |
|---|---|
| المؤلفون: | Christensen, S., Hirshfeld, Y., Moller, F. |
| المصدر: | [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science ; page 386-396 |
| بيانات النشر: | IEEE Comput. Soc. Press |
| سنة النشر: | 2002 |
| نوع الوثيقة: | conference object |
| اللغة: | unknown |
| DOI: | 10.1109/lics.1993.287569 |
| الاتاحة: | http://dx.doi.org/10.1109/lics.1993.287569 http://xplorestaging.ieee.org/ielx2/899/7167/00287569.pdf?arnumber=287569 |
| رقم الانضمام: | edsbas.3E6B55F8 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1109/lics.1993.287569 |
|---|