Search for Author All Reviews
	Baier, Christel     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 6 reviews        Performance evaluation and model checking join forces Baier C., Haverkort B., Hermanns H., Katoen J. Communications of the ACM 53(9): 76-85, 2010.  Type: Article I liked this history when I first skimmed it. ¿Now, I’m not so sure. ¿...... Feb 24 2011     Principles of model checking (Representation and Mind Series) Baier C., Katoen J., The MIT Press, 2008. 975 pp.  Type: Book (026202649X9780262026499) Model checking is a formal technique for verifying the behavioral properties of a given system, on the basis of a suitable model of the system and a systematic inspection of all states of the model....... Jan 8 2009     CONCUR 2006 - Concurrency Theory: 17th International Conference, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science 4137) Baier C., Hermanns H., Springer-Verlag New York, Inc., Secaucus, NJ, 2006. 525 pp.  Type: Book (9783540373766) Concurrency has proven to be a tough problem in our computational paradigm. This book includes 34 papers presented at the 17th International Conference on Concurrency Theory. As with most books based on conference proceedings, it cover...... Mar 6 2007     Trees and semantics Baier C. Theoretical Computer Science 179(1-2): 217-250, 1997.  Type: Article Various types of trees appearing in theories of nondeterministic or parallel processes, and their uses as semantic domains, are studied. Trees and bisimulation equivalence classes of trees are considered in the settings of category the...... Dec 1 1997     Metric completion versus ideal completion Majster-Cederbaum M., Baier C. Theoretical Computer Science 170(1-2): 145-171, 1996.  Type: Article The intended audience for this paper is mathematicians and those theoretical computer scientists working on the denotational semantics of parallel or concurrent programs. To model recursive or infinite behavior of programs, complete pa...... Sep 1 1997     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy