Search for Author All Reviews
	Montanari, Ugo     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 14 reviews       Models of computation Bruni R., Montanari U., Springer Publishing Company, Incorporated, New York, NY, 2017. 395 pp.  Type: Book (978-3-319428-98-7) Any formal definition of a language has to clearly specify its syntax (a grammatical specification that in some way fixes the structure of well-formed statements) and semantics (the manner in which meaning is assigned to well-formed st...... Jul 13 2018     Soft concurrent constraint programming Bistarelli S., Montanari U., Dechter R. ACM Transactions on Computational Logic 7(3): 563-589, 2006.  Type: Article, Reviews: (2 of 2) Constraint-oriented programming specifies relations between variables and leaves it to the language runtime system to satisfy the relations. Concurrent constraint systems merge constraint-oriented programming with blackboard-style data...... Nov 17 2006     Soft concurrent constraint programming Bistarelli S., Montanari U., Dechter R. ACM Transactions on Computational Logic 7(3): 563-589, 2006.  Type: Article, Reviews: (1 of 2) Soft constraints extend classical constraints, represent multiple consistency levels, and provide a way to express preferences, fuzziness, and uncertainty. This paper addresses a concurrent programming framework where soft constraints ...... Sep 25 2006     Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday (Lecture Notes in Computer Science 3393) Kreowski H., Montanari U., Orejas F., Rozenberg G., Taentzer G., Springer-Verlag New York, Inc., Secaucus, NJ, 2005. 413 pp.  Type: Book (9783540249368) This festschrift contains essays dedicated to Hartmut Ehrig, on the occasion of his sixtieth birthday. Ehrig’s methods originated in category theory, and were first applied in a graph-theoretic context. Now, they are omnipres...... Nov 10 2005     A model-checking verification environment for mobile processes Ferrari G., Gnesi S., Montanari U., Pistore M. ACM Transactions on Software Engineering and Methodology 12(4): 440-473, 2004.  Type: Article This paper discusses the experimental results of a test of the verification environment, called HD-Automata Laboratory (HAL), for the finite-state verification of systems specified in the Pi-calculus. More specifically, HAL exploits hi...... Aug 18 2004     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy