Brian J. Ross  Home/Search
Context
Related
| cosc.brocku.ca/~bross/res...napaw92.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cosc.brocku.ca/~bross/research... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A #--calculus semantics of terms and logical variables, environment creation visavis term copying and variable refreshing, and sequential unification is presented. The #--calculus's object--oriented approach to modelling evolving communication structures is used to model the evolving communication environment found in concurrent logic program computations. The novelty of this semantics is that it explicitly models logic variables as active channels. These channels are referenced by... (Update)
Similar documents (at the sentence level):
71.6%: A π-calculus Semantics of Logical Variables and Unification - Ross (1993) (Correct)
Active bibliography (related documents): More All
0.3: A π-calculus Specification of Prolog - Li (1994) (Correct)
0.3: Dealing with Incomplete Knowledge on CLP(FD) Variable.. - Gavanelli, Lamma, Mello, .. (2003) (Correct)
0.1: Distributing And- and Or-Work in the Andorra-I Parallel Logic.. - Dutra (1995) (Correct)
Similar documents based on text: More All
0.4: Edge Detection of Petrographic Images Using Genetic Programming - Ross, Fueten, al. (2000) (Correct)
0.4: Procedural 3D Texture Synthesis Using Genetic Programming - Hewgill, Ross (2003) (Correct)
0.3: The Effects of Randomly Sampled Training Data on Program Evolution - Ross (1999) (Correct)
BibTeX entry: (Update)
@inproceedings{ ross93picalculus,
author = "B. J. Ross",
title = "A $\pi$-calculus semantics of logical variables and unification",
booktitle = "Proceedings of First North American Process Algebra Workshop, Stony Brook, 1992",
publisher = "Springer",
editor = "S. Purushothaman and A. Zwarico",
pages = "216--230",
year = "1993",
url = "citeseer.ist.psu.edu/article/ross93picalculus.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
1838 Foundations of Logic Programming (context) - Lloyd - 1984
363 Programming in Prolog (context) - Clocksin, Mellish - 1981
344 Concurrent Constraint Programming (context) - Saraswat, Rinard - 1990
297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1989
297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1989
121 Guarded Horn Clauses - Ueda - 1986
61 Technical Report ECS-LFCS (context) - Milner, -Calculus et al. - 1991
57 calculus Semantics of Object-Oriented Programming Languages (context) - Walker - 1990
8 A Process Algebra of Concurrent Constraint Programming (context) - de Boer, Palamidessi - 1992
7 OR-parallelism on applicative architectures (context) - Lindstrom - 1984
3 An Algebraic Semantics of Prolog Control - Ross - 1992
3 Concurrent Prolog vol (context) - Shapiro - 1987
2 A Process Calculus with Shared Variables (context) - Belmesk, Habbas - 1992
2 Towards an Operational Semantics for Concurrent Logic Progra.. (context) - Beckman - 1987
2 calculus Semantics of Committed Logic Program Control (context) - Ross, -- - 1992
Documents on the same site (http://www.cosc.brocku.ca/~bross/research/): More
A π-calculus Semantics of Logical Variables and Unification - Ross (1993) (Correct)
A Process Algebra For Stochastic Music Composition - Ross (1995) (Correct)
A Lamarckian Evolution Strategy for Genetic Algorithms - Ross (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC