A fully abstract model for concurrent constraint programming-Reference-Cited by-同舟云学术

A fully abstract model for concurrent constraint programming

Published:1991 Issue: Volume: Page:296-319
ISSN:0302-9743
Container-title:TAPSOFT '91
language:
Short-container-title:

Author:

Boer Frank S.,Palamidessi Catuscia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-53982-4_17.pdf

Reference18 articles.

1. J.W. de Bakker and J.N. Kok. Uniform abstraction, atomicity and contractions in the comparative semantics of Concurrent Prolog. In Proc. of the International Conference on Fifth Generation Computer Systems, pages 347–355, Tokyo, Japan, 1988. OHMSHA, LTD. Extended Abstract, full version available as CWI report CS-8834.

2. J.W. de Bakker and J.N. Kok. Comparative metric semantics for Concurrent Prolog. Theoretical Computer Science, 75(1/2):15–44, 1990.

3. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. Control flow versus logic: a denotational and a declarative model for Guarded Horn Clauses. In A. Kreczmar and G. Mirkowska, editors, Proc. of the Symposium on Mathematical Foundations of Computer Science, volume 379 of Lecture Notes in Computer Science, pages 165–176. Springer-Verlag, 1989.

4. F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. Semantic models for a version of PARLOG. In Giorgio Levi and Maurizio Martelli, editors, Proc. of the Sixth International Conference on Logic Programming, Series in Logic Programming, pages 621–636, Lisboa, 1989. The MIT Press. Extended version to appear in Theoretical Computer Science.

5. F.S. de Boer and C. Palamidessi. Concurrent logic languages: Asynchronism and language comparison. In Proc. of the North American Conference on Logic Programming, Series in Logic Programming, pages 175–194. The MIT Press, 1990. Full version available as technical report TR 6/90, Dipartimento di Informatica, Università di Pisa.

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Polyadic Soft Constraints;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019

2. On the Relation Between Control-Based and Data-Based Coordination Languages;Lecture Notes in Computer Science;2018

3. Timed soft concurrent constraint programs: An interleaved and a parallel approach;Theory and Practice of Logic Programming;2014-06-06

4. Models and emerging trends of concurrent constraint programming;Constraints;2013-04-21

5. Constraints;International Journal of Information System Modeling and Design;2012-04