Nondeterminism and observable sequentiality

James Laird

doi:10.1007/978-3-642-04027-6_28

Nondeterminism and observable sequentiality

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Original language	English
Title of host publication	Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Editors	E Gradel, R Kahle
Place of Publication	Berlin
Publisher	Springer
Pages	379-393
Number of pages	15
ISBN (Electronic)	9783642040276
ISBN (Print)	9783642040269
DOIs	https://doi.org/10.1007/978-3-642-04027-6_28
Publication status	Published - 2009

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	5771
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-642-04027-6_28

Cite this

Nondeterminism and observable sequentiality. / Laird, James.

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. ed. / E Gradel; R Kahle. Berlin : Springer, 2009. p. 379-393 (Lecture Notes in Computer Science; Vol. 5771).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

@inproceedings{4dd6dc46c5a246bfbdcbbf8562f5ac59,

title = "Nondeterminism and observable sequentiality",

author = "James Laird",

year = "2009",

doi = "10.1007/978-3-642-04027-6_28",

language = "English",

isbn = "9783642040269",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "379--393",

editor = "E Gradel and R Kahle",

booktitle = "Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings",

}

TY - GEN

T1 - Nondeterminism and observable sequentiality

AU - Laird, James

PY - 2009

Y1 - 2009

UR - http://www.scopus.com/inward/record.url?scp=70350383780&partnerID=8YFLogxK

UR - http://dx.doi.org/10.1007/978-3-642-04027-6_28

U2 - 10.1007/978-3-642-04027-6_28

DO - 10.1007/978-3-642-04027-6_28

M3 - Chapter in a published conference proceeding

SN - 9783642040269

T3 - Lecture Notes in Computer Science

SP - 379

EP - 393

BT - Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

A2 - Gradel, E

A2 - Kahle, R

PB - Springer

CY - Berlin

ER -

Nondeterminism and observable sequentiality

Publication series

Access to Document

Other files and links

Cite this