Constraints Meet Concurrency
This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand,...
| Main Author: | Mauro, Jacopo (Author) |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Paris :
Atlantis Press : Imprint: Atlantis Press,
2014.
|
| Series: | Atlantis Studies in Computing,
5 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
Published: (2015) -
Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings /
Published: (2009) -
Concrete Semantics With Isabelle/HOL /
by: Nipkow, Tobias, et al.
Published: (2014) -
Formal Languages and Compilation
by: Crespi Reghizzi, Stefano
Published: (2009) -
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /
Published: (2011)