๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Objective Conception of Context and Its Logic

โœ Scribed by Christopher Menzel

Book ID
110263509
Publisher
Springer
Year
1998
Tongue
English
Weight
155 KB
Volume
9
Category
Article
ISSN
0924-6495

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Distributed Logic Objects: A Fragment of
Distributed Logic Objects: A Fragment of Rewriting Logic and its Implementation
โœ Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 816 KB

This paper presents a logic language (called Distributed Logic Objects, DLO for short) that supports objects, messages and inheritance. The operational semantics of the language is given in terms of rewriting rules acting upon the (possibly distributed) state of the system. In this sense, the logic