Nondeterminism and observable sequentiality
Reference:
Laird, J., 2009. Nondeterminism and observable sequentiality. In: Gradel, E. and Kahle, R., eds. Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Berlin: Springer, pp. 379-393. (Lecture Notes in Computer Science; 5771)
Related documents:
This repository does not currently have the full-text of this item.You may be able to access a copy if URLs are provided below.
Official URL:
http://dx.doi.org/10.1007/978-3-642-04027-6_28
Details
| Item Type | Book Sections |
| Creators | Laird, J. |
| Editors | Gradel, E.and Kahle, R. |
| DOI | 10.1007/978-3-642-04027-6_28 |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 16557 |
Export
Actions (login required)
| View Item |
