Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
On the Expressiveness of the Ambient Logic
View through CrossRef
The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data. In this paper, we study the expressiveness of AL. We define formulas for capabilities and for communication in MA. We also derive some formulas that capture finitess of a term, name occurrences and persistence. We study extensions of the calculus involving more complex forms of communications, and we define characteristic formulas for the equivalence induced by the logic on a subcalculus of MA. This subcalculus is defined by imposing an image-finiteness condition on the reducts of a MA process.
Centre pour la Communication Scientifique Directe (CCSD)
Title: On the Expressiveness of the Ambient Logic
Description:
The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data.
In this paper, we study the expressiveness of AL.
We define formulas for capabilities and for communication in MA.
We also derive some formulas that capture finitess of a term, name occurrences and persistence.
We study extensions of the calculus involving more complex forms of communications, and we define characteristic formulas for the equivalence induced by the logic on a subcalculus of MA.
This subcalculus is defined by imposing an image-finiteness condition on the reducts of a MA process.
Related Results
MECHANISMS OF SCHEMATIC MODELING BASED ON VECTOR LOGIC
MECHANISMS OF SCHEMATIC MODELING BASED ON VECTOR LOGIC
Context. This paper addresses issues relevant to the EDA market – reducing the cost and time of testing and verification of digital projects by synthesizing the logic vector of a d...
Logic in the early 20th century
Logic in the early 20th century
The creation of modern logic is one of the most stunning achievements of mathematics and philosophy in the twentieth century. Modern logic – sometimes called logistic, symbolic log...
PERANCANGAN AMBIENT MEDIA SEBAGAI MEDIA IKLAN LAYANAN MASYARAKAT BAHAYA ADIKSI INTERNET
PERANCANGAN AMBIENT MEDIA SEBAGAI MEDIA IKLAN LAYANAN MASYARAKAT BAHAYA ADIKSI INTERNET
The internet has both positive and negative effects on life. The positive impact of the internet is all the convenience in obtaining information, creating citizen journalism, socia...
Mathematical Expressiveness of Graph Neural Networks
Mathematical Expressiveness of Graph Neural Networks
Graph Neural Networks (GNNs) are neural networks designed for processing graph data. There has been a lot of focus on recent developments of graph neural networks concerning the th...
Memristor-Based Priority Encoder and Decoder Circuit
Memristor-Based Priority Encoder and Decoder Circuit
Introduction:
Memristors, recognized as the fourth fundamental circuit element, exhibit unique features
such as non-volatility, scalability, and energy efficien...
Low Area/Energy Consumption Overhead and Robust Logic Locking Designs for Hardware Obfuscation Exploring Negative Capacitance FETs with Circuit Co-Design Techniques
Low Area/Energy Consumption Overhead and Robust Logic Locking Designs for Hardware Obfuscation Exploring Negative Capacitance FETs with Circuit Co-Design Techniques
Logic locking has been established as a promising hardware obfuscation
technique used in modern integrated circuits (ICs) to protect
intellectual property (IP) from various hardwar...
Prosodic Characteristics of Skilled Reading: Fluency and Expressiveness in 8—10-year-old Readers
Prosodic Characteristics of Skilled Reading: Fluency and Expressiveness in 8—10-year-old Readers
Statistical methods of describing prosody were used to study fluency, expressiveness and their relationship among 8—10-year-old readers. 67 children were rated on fluency and expre...
Role of the logo in actualization of visual expressiveness of a brand
Role of the logo in actualization of visual expressiveness of a brand
Background. Brand perception and consumer loyalty studies have a special interdisciplinary status, where both economic comprehension of the studied problems and social and psycholo...