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). Springer. https://doi.org/10.1007/978-3-642-04027-6_28