Authors:
- A new approach to combine constraint programming and concurrency theory
- Best 2012 doctoral dissertation in theoretical computer science and logic by Italian EATCS chapter
- Best 2012 doctoral dissertation in computation logic by GULP
- Includes supplementary material: sn.pub/extras
Part of the book series: Atlantis Studies in Computing (ATLANTISCOMP, volume 5)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (11 chapters)
-
Front Matter
-
Constraint and Concurrency Overview
-
Front Matter
-
-
Constraints in Concurrent Languages
-
Front Matter
-
-
Solving Constraints Exploiting Concurrent Systems
-
Front Matter
-
-
Back Matter
About this book
Authors and Affiliations
-
University of Bologna, Bologna, Italy
Jacopo Mauro
Bibliographic Information
Book Title: Constraints Meet Concurrency
Authors: Jacopo Mauro
Series Title: Atlantis Studies in Computing
DOI: https://doi.org/10.2991/978-94-6239-067-6
Publisher: Atlantis Press Paris
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Atlantis Press and the authors 2014
Hardcover ISBN: 978-94-6239-066-9Published: 25 February 2014
eBook ISBN: 978-94-6239-067-6Published: 11 February 2014
Series ISSN: 2212-8557
Series E-ISSN: 2212-8565
Edition Number: 1
Number of Pages: XV, 148
Number of Illustrations: 13 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages