M. Belmesk and Z. Habbas. A Process Calculus with Shared Variables. Journal of Computers and Artificial Intelligence, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A π-calculus Semantics of Logical Variables and Unification - Ross (1993) (3 citations) (Correct)
....encoding abstract machines in it can permit formal analyses of language design. Abstract machines such as that in [Lin84] shares similarities with ours, and could be encoded in the calculus if desired. Two other process algebra models of concurrent logic programs are by Belmesk and Habbas [BH92] and de Boer and Palamidessi [dBP92] and a related approach is by Saraswat and Rinard [SR90] All these papers take the Herbrand domain and unification to be abstract concepts which are used directly in semantic axioms. This paper differs by modelling terms and unification at the lower level of ....
M. Belmesk and Z. Habbas. A Process Calculus with Shared Variables. Journal of Computers and Artificial Intelligence, 1992.
A π-calculus Semantics of Logical Variables and Unification - Ross (1993) (Correct)
No context found.
M. Belmesk and Z. Habbas. A Process Calculus with Shared Variables. Journal of Computers and Artificial Intelligence, 1992.
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