On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences-Reference-Cited by-同舟云学术

On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences

Published:1990 Issue: Volume: Page:99-114
ISSN:0302-9743
Container-title:CONCUR '90 Theories of Concurrency: Unification and Extension
language:
Short-container-title:

Author:

de Boer Frank S.,Palamidessi Catuscia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0039054

Reference21 articles.

1. K.R. Apt. Introduction to logic programming (revised and extended version. Technical Report CS-R8826, Centre for Mathematics and Computer Science, Amsterdam, 1988. To appear as a chapter in Handbook of Theoretical Computer Science, North-Holland (J. van Leeuwen, editor).

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

3. J.W. de Bakker and J.N. Kok. Uniform abstraction, atomicity and contractions in the comparative semantics of concurrent prolog. In Proc. Fifth Generation Computer Systems, pages 347–355, Tokyo, Japan, 1988. Extended Abstract, full version available as CWI report CS-8834. To appear on Theoretical Computer Science.

4. 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 Proc. of the Symposium on Mathematical Foundations of Computer Science, LNCS, pages 165–176, 1989.

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

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

1. Fond (and Frank) Memories of Frank;Theory and Practice of Formal Methods;2016

2. Open Multiparty Interaction;Recent Trends in Algebraic Development Techniques;2013

3. Concurrent and Reactive Constraint Programming;Lecture Notes in Computer Science;2010

4. On asynchronous communication semantics;Object-Based Concurrent Computing;1992

5. Extended Horn clauses: the framework and some semantics;Lecture Notes in Computer Science;1991