Research

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
CreatorsLaird, J.
EditorsGradel, E.and Kahle, R.
DOI10.1007/978-3-642-04027-6_28
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code16557

Export

Actions (login required)

View Item