On the Semantics of Concurrent Constraint Programming-Reference-Cited by-同舟云学术

On the Semantics of Concurrent Constraint Programming

Published:1993 Issue: Volume: Page:145-173
ISSN:1431-1682
Container-title:Workshops in Computing
language:
Short-container-title:

Author:

de Boer Frank S.,Palamidessi Catuscia

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3421-3_9

Reference30 articles.

1. S.D. Brookes, C.A.R. Hoare, and W. Roscoe. A theory of communicating sequential processes. Journal of ACM, 31:499–560, 1984.

2. J.A. Bergstra and J.W. Klop. Process algebra: specification and verification in bisimulation semantics. In Mathematics and Computer Science II, CWI Monographs, pages 61–94. North-Holland, 1986.

3. ACM Trans. on Programming Languages and Systems;KL Clark,1986

4. K.L. Clark. Predicate logic as a computational formalism. Res. Report DOC 79/59, Imperial College, Dept. of Computing, London, 1979.

5. 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 Fiflh Generation Computer Systems, pages 347–355, Tokyo, Japan, 1988. OHMSHA, LTD. Extended Abstract, full version available as CWI report CS-8834.

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

1. Automata for Context-Dependent Connectors;Lecture Notes in Computer Science;2009

2. Soft Constraints for Dependable Service Oriented Architectures;Architecting Dependable Systems VI;2009

3. Coordination by means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming;Electronic Notes in Theoretical Computer Science;2003-03

4. Propagation Completeness of Reactive Constraints;Logic Programming;2002

5. Information-Passing and Belief Revisionin Multi-agent Systems;Intelligent Agents V: Agents Theories, Architectures, and Languages;1999