An Introduction to Program and Thread Algebra
| Authors | |
|---|---|
| Publication date | 2006 |
| Journal | Lecture Notes in Computer Science |
| Volume | Issue number | 3988 |
| Pages (from-to) | 445-458 |
| Organisations |
|
| Document type | Article |
| Note | conf/cie/PonseZ06 Proceedings title: Logical Approaches to Computational Barriers, Proceedings of the Second Conference on Computability in Europe, CiE 2006 Publisher: Springer-Verlag Editors: A. Beckmann, U. Berger, B. Löwe, J.V. Tucker |
| Published at | https://doi.org/10.1007/11780342_46 |
| Permalink to this page | |
