Search for Author All Reviews
	Kurki-Suonio, R.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews        A practical theory of reactive systems: incremental modeling of dynamic behaviors (Texts in Theoretical Computer Science) Kurki-Suonio R., Springer-Verlag New York, Inc., Secaucus, NJ, 2005. 418 pp.  Type: Book (9783540233428) It is rare to find a book that answers the questions of software engineers who are working with dynamic systems (robots, control systems, real-time operating systems, and so on), where formalisms of actions and behaviors are often answ...... Apr 18 2006     Action systems in incremental and aspect-oriented modeling Kurki-Suonio R. Distributed Computing 16(2-3): 201-217, 2003.  Type: Article The author takes a very complex subject in distributed computing, and through abstraction and models, reduces that complexity. The paper includes a very formal treatment of superposition, but a toy car example is used to illustrate sev...... Mar 23 2004
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy