Home Advanced Search

Advanced Search - Page 1

CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

PDF
English
Year: 2008
Author: Joseph Y. Halpern (auth.), Franck van Breugel, Marsha Chechik (eds.)

Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion

PDF
English
Year: 1996
Author: Franck van Breugel

Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

PDF
English
Year: 2014
Author: Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten (eds.)

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

PDF
English
Year: 2016
Author: Sandrine Blazy, Marsha Chechik (eds.)

Handbook of Epistemic Logic

PDF
English
Year: 2015
Author: Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi (eds.)

Handbook of Epistemic Logic

DJVU
English
Year: 2015
Author: Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi (eds.)

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

PDF
English
Year: 2016
Author: Marsha Chechik, Jean-François Raskin (eds.)

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

PDF
English
Year: 2009
Author: Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

Actual Causality

PDF
English
Year: 2016
Author: Joseph Y. Halpern

Actual Causality

PDF
english
Year: 2016
Author: Joseph Y. Halpern