Result 1 to 20 of 109 total
Graceful interruption of request-response service interactions. (English)
Kappel, Gerti (ed.) et al., Service-oriented computing. 9th international conference, ICSOC 2011, Paphos, Cyprus, December 5‒8, 2011 Proceedings. Berlin: Springer (ISBN 978-3-642-25534-2/pbk). Lecture Notes in Computer Science 7084, 590-600 (2011).
1
An efficient management of correlation sets with broadcast. (English)
De Meuter, Wolfgang (ed.) et al., Coordination models and languages. 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21463-9/pbk). Lecture Notes in Computer Science 6721, 80-94 (2011).
2
An efficient management of correlation sets with broadcast (English)
COORDINATION, 80-94 (2011).
3
Graceful interruption of request-response service interactions (English)
ICSOC, 590-600 (2011).
4
Decidability properties for fragments of CHR. (English)
Theory Pract. Log. Program. 10, No. 4-6, 611-626 (2010).
5
Concurrent and reactive constraint programming. (English)
Dovier, Agostino (ed.) et al., A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP. Berlin: Springer (ISBN 978-3-642-14308-3/pbk). Lecture Notes in Computer Science 6125, 231-253 (2010).
6
Programming languages: Principles and paradigms. Translated from the Italian. (English)
Undergraduate Topics in Computer Science. London: Springer (ISBN 978-1-84882-913-8/pbk; 978-1-84882-914-5/ebook). xix, 440~p. EUR~37.40 (2010).
7
Concurrent and reactive constraint programming (English)
25 Years GULP, 231-253 (2010).
8
On the expressive power of recursion, replication and iteration in process calculi. (English)
Math. Struct. Comput. Sci. 19, No. 6, 1191-1222 (2009).
9
The $κ$-lattice: Decidability boundaries for qualitative analysis in biological languages. (English)
Degano, Pierpaolo (ed.) et al., Computational methods in systems biology. 7th international conference, CMSB 2009, Bologna, Italy, August 31‒September 1, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03844-0/pbk). Lecture Notes in Computer Science 5688. Lecture Notes in Bioinformatics, 158-172 (2009).
10
Expressiveness of multiple heads in CHR. (English)
Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24‒30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 205-216 (2009).
11
A compositional semantics for CHR (English)
ACM Trans. Comput. Log. 10, No. 2 (2009).
12
The {\it kappa}-lattice: decidability boundaries for qualitative analysis in biological languages (English)
CMSB, 158-172 (2009).
13
On the expressive power of priorities in CHR (English)
PPDP, 267-276 (2009).
14
Expressiveness of multiple heads in CHR (English)
SOFSEM, 205-216 (2009).
15
A compositional semantics for CHR with propagation rules. (English)
Schrijvers, Tom (ed.) et al., Constraint Handling Rules. Current research topics. Berlin: Springer (ISBN 978-3-540-92242-1/pbk). Lecture Notes in Computer Science 5388. Lecture Notes in Artificial Intelligence, 119-160 (2008).
16
Unfolding in CHR. (English)
Comput. Res. Repos. 2008, Article No. 0807.3979 (2008).
17
Expressiveness of multiple heads in CHR. (English)
Comput. Res. Repos. 2008, Article No. 0804.3351 (2008).
18
Timed soft concurrent constraint programs. (English)
Lea, Doug (ed.) et al., Coordination models and languages. 10th international conference, COORDINATION 2008, Oslo, Norway, June 4‒6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68264-6/pbk). Lecture Notes in Computer Science 5052, 50-66 (2008).
19
Full abstraction for Linda. (English)
Drossopoulou, Sophia (ed.), Programming languages and systems. 17th European symposium on programming, ESOP 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29‒April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78738-9/pbk). Lecture Notes in Computer Science 4960, 78-92 (2008).
20
Result 1 to 20 of 109 total
Start
Contact
Print
General Help
