Nondeterminism and observable sequentiality

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
Original languageEnglish
Title of host publicationComputer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
EditorsE Gradel, R Kahle
Place of PublicationBerlin
PublisherSpringer
Pages379-393
Number of pages15
ISBN (Electronic)9783642040276
ISBN (Print)9783642040269
DOIs
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume5771
ISSN (Print)0302-9743

Cite this

Laird, J. (2009). Nondeterminism and observable sequentiality. In E. Gradel, & R. Kahle (Eds.), Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings (pp. 379-393). (Lecture Notes in Computer Science; Vol. 5771). Berlin: Springer. https://doi.org/10.1007/978-3-642-04027-6_28

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 in Book/Report/Conference proceedingConference contribution

Laird, J 2009, Nondeterminism and observable sequentiality. in E Gradel & R Kahle (eds), Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Lecture Notes in Computer Science, vol. 5771, Springer, Berlin, pp. 379-393. https://doi.org/10.1007/978-3-642-04027-6_28
Laird J. Nondeterminism and observable sequentiality. In Gradel E, Kahle R, editors, Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Berlin: Springer. 2009. p. 379-393. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-04027-6_28
Laird, James. / Nondeterminism and observable sequentiality. Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. editor / E Gradel ; R Kahle. Berlin : Springer, 2009. pp. 379-393 (Lecture Notes in Computer Science).
@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 - Conference contribution

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 -