Undecidable equivalences for Basic Process Algebra
de J. F. Groote
Ediciones (1)
- Undecidable equivalences for Basic Process Algebra (1991)
University of Edinburgh, Laboratory for Foundations of Computer Science · inglés
de J. F. Groote
University of Edinburgh, Laboratory for Foundations of Computer Science · inglés