Contributions to the semantics of logic perpetual processes-Reference-Cited by-同舟云学术

Contributions to the semantics of logic perpetual processes

Published:1988-08 Issue:6 Volume:25 Page:691-711
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Levi Giorgio,Palamidessi Catuscia

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

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

Reference25 articles.

1. Apt, K.R., Emden, M.H. van: Contributions to the theory of logic programming. J. ACM 29, 841?862 (1982)

2. Bellia, M., Dameri, E., Degano, P., Levi, G., Martelli, M.: Applicative communicating processes in first order logic. Proceedings of the 5th International Symposium on Programming (Lect. Notes Comput. Sci., Vol. 137, pp. 1?14) Berlin Heidelberg New York: Springer 1982

3. Clark, K.L., Gregory, S.: A relational language for parallel programming. Proceedings ACM Conference on Functional Programming Languages and Computer Architecture, pp. 171?178. New York: ACM 1981

4. Clark, K.L., Gregory, S.: PARLOG: a parallel logic programming language, Imperial College Research Report 83/5 (May 1983)

5. Clark, K.L., Gregory, S.: PARLOG: Parallel programming in logic. ACM Trans. Progr. Lang. Syst. 8, 1?49 (1986)

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

1. A Coalgebraic Approach to Unification Semantics of Logic Programming;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019

2. Infinite Computation in the Equivalent Transformation Model;Journal of Advanced Computational Intelligence and Intelligent Informatics;2007-02-20

3. On Greatest Fixpoint Semantics of Logic Programming;Journal of Logic and Computation;2002-04-01

4. Logic Programming and Co-inductive Definitions;Computer Science Logic;2000

5. A survey of stream processing;Acta Informatica;1997-07-14