Searching for "Models of Logical Systems." – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Formalising Actors in Linear Logic
- … provide a detailed mapping of the actor model into the logical system. It is shown that, with such a…
- Cited by 4 (0 self) – Add To MetaCart
-
A Theory of Binary Signal
- …, France, July 9-12, 1996 590 ABSTRACT The dynamic modelling of logical systems widely calls upon…
- Add To MetaCart
-
A Temporal Logic for Proving Properties of Topologically General Executions
- …. In section 3 we define the model of the logical system, and show how the notion of fair executions translates…
- Cited by 3 (0 self) – Add To MetaCart
-
Research Directions in Rewriting Logic
- … computational perspective, we can alternatively view such models as "logical systems" in which formulas…
- Cited by 29 (12 self) – Add To MetaCart
-
Pigeon : a Specification Language for Mobile Agent Applications
- … logic system. The former is modeled by the logic system. In addition, the developers can flexibly…
- Add To MetaCart
-
Relations between Abstract Datatypes modeled as Abstract Datatypes
- … that models the logical system of the model-oriented specification language Z [56], which is based on set…
- Cited by 8 (2 self) – Add To MetaCart
-
Software Component Dependability Assessment
- … are based on reliability models of physical systems, not logical systems. Physical systems decay over time…
- Cited by 1 (1 self) – Add To MetaCart
-
Adding a Temporal Dimension to a Logic System
- … logic system L 2 and the interaction between databases is modelled by another logic system L 1…
- Cited by 62 (3 self) – Add To MetaCart
-
Upgrade of Control System for the BEPCII
- … The BEPCII control system will adopt a distributed architecture, called “standard model”. Logically…
- Add To MetaCart
-
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report
- … can alternatively view such models as "logical systems" in which formulas are validly rewritten…
- Cited by 76 (21 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
