M. Bozzano, G. Delzanno, and M. Martelli. A Linear Logic Specification of Chimera. In Proceedings of DYNAMICS'97, a satellite workshop of ILPS '97, 1997. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Logic Programming & Multi-Agent Systems: a.. - Bozzano.. (1999) Self-citation (Bozzano Delzanno Martelli) (Correct)
....logic in that formulas can be treated as resources. This idea has been incorporated in recent extensions of Logic Programming, the so called Linear Logic Programming (LLP) paradigm [Mil95] It has been successfully applied to formalize important programming aspects such as data management [HM94,BDM97] object orientation [AP90,DM95,BDLM96] statebased computations [Chi95] and aspects of concurrency [Mil93,MMP96] These features make LLP a suitable framework for specifying distributed systems and agent systems in particular. The notion of state in LLP has a natural correspondence with the ....
M. Bozzano, G. Delzanno, and M. Martelli. A Linear Logic Specification of Chimera. In Proceedings of DYNAMICS'97, a satellite workshop of ILPS '97, 1997.
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