Configuration logic: A multi-site modal logic

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 2005, Pages 131-137

  Villemaire, Roger ^a   Hallé, Sylvain ^a   Cherkaoui, Omar ^a  

^a UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL SEMANTICS; COMPUTING SYSTEM; LOGICAL FORMALISM; MODAL LOGIC; MULTI-SITE; PARTIAL FUNCTIONS;

EID: 66749134097     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2005.18     Document Type: Conference Paper

References (14)

1. H. Andréka, J. van Benthem, I. Németi, "Modal Languages and Bounded Fragment of Predicate Logic", ILLC Research Report ML-96-03, 59 pages. (1996).
2. L. Cardelli, "Describing semistructured data". SIG-MOD Record, 30(4), pp. 80-85, (2001).
3. L. Cardelli, G. Ghelli, "TQL: A query language for semistructured data based on the ambient logic", To appear in Mathematical Structures in Computer Science.
4. G. Conforti, G. Ghelli, "Decidability of Freshness, Undecidability of Revelation", Proceedings of Foundations of Software Science and Computation Structures, FoSSaCS 2004, LNCS vol. 2987, pp. 105-120, Springer-Verlag, (2004).
5. V. Fuller, T. Li, J. Yu, K. Varadhan, K., "Classless Inter-Domain Routing (CID R): an Address Assignment and Aggregation Strategy", Request for Comments RFC 1519, Internet Society, (1993).
6. E. Grädel, "On The Restraining Power of Guards", Journal of Symbolic Logic, 64(4), pp. 1719-1742, (1999).
7. S. Hallé, R. Deca, O. Cherkaoui, R. Villemaire, "Automated Validation of Service Configuration on Network Devices". Proceedings of the 7th International Conference on Management of Multimedia Networks and Services MMNS 2004, LNCS vol. 3271 pp. 176-188, Springer-Verlag, (2004).
8. S. Hallé, R. Deca, O. Cherkaoui, R. Villemaire, D. Puche, "A Formal Validation Model for the Netconf Protocol", 15th IFIP/IEEE Distributed Systems: Operations and Management, DSOM 2004, LNCS vol. 3278, pp. 147-158, Springer-Verlag, (2004).
9. I. M. Hodkinson, "Loosely Guarded Fragment of First-Order Logic has the Finite Model Property", Stu-dia Logica 70(2), pp. 205-240, (2002).
10. I. Pepelnjak, J. Guichard, MPLS VPN Architectures, Cisco Press, (2001).
11. Y. Rekhter, T. Li, "An Architecture for IP Address Allocation with CID R", Request for Comments RFC 1518, Internet Society, (1993).
12. E. Rosen, Y. Rekhter, "BGP/MPLS VPNs", Request for Comments RFC 2547, Internet Society, (1999).
13. C. Scott, P. Wolfe, M. Erwin, Virtual Private Networks, O' Reilly, (1998)
14. B. A. Trakhtenbrot, "Impossibility of an algorithm for the decision problem in finite classes", Doklady Akademii nauk SSS R, 70, pp. 569-572, (1950).