×

zbMATH — the first resource for mathematics

Found 8 Documents (Results 1–3)

Dams, Dennis (ed.) et al., Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). Lecture Notes in Computer Science 5930, 237-249 (2010).
MSC:  68Q60 68Q85
BibTeX Cite
Full Text: DOI
Kapoor, Sanjiv (ed.) et al., FST TCS 2000: Foundations of software technology and theoretical computer science. 20th conference, New Delhi, India, December 13–15, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41413-4). Lect. Notes Comput. Sci. 1974, 1-10 (2000).
MSC:  68Q60 68N30
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication
Classification
Software