An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

Authors:
Jesús Aranda;Gerard Assayag;Carlos Olarte;Jorge A. Pérez;Camilo Rueda;Mauricio Toro;Frank D. Valencia
Affiliations:
INRIA and CNRS-LIX, École Polytechnique,;Institut de Recherche et Coordination Acoustique/Musique, IRCAM,;INRIA and CNRS-LIX, École Polytechnique, and Pontificia Universidad Javeriana Cali,;Dept. of Computer Science, University of Bologna,;Pontificia Universidad Javeriana Cali, and Institut de Recherche et Coordination Acoustique/Musique, IRCAM,;Pontificia Universidad Javeriana Cali,;INRIA and CNRS-LIX, École Polytechnique,
Venue:
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Year:
2009

Citing 11
Cited 0

The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Temporal concurrent constraint programming: denotation, logic and applications

Nordic Journal of Computing
Soft constraint programming to analysing security protocols

Theory and Practice of Logic Programming
Analyzing security protocols with secrecy types and logic programs

Journal of the ACM (JACM)
Decidability of infinite-state timed CCP processes and first-order LTL

Theoretical Computer Science - Expressiveness in concurrency
Automatic verification of timed concurrent constraint programs

Theory and Practice of Logic Programming
Timed Concurrent Constraint Programming for Analysing Biological Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis

Electronic Notes in Theoretical Computer Science (ENTCS)
Universal concurrent constraint programing: symbolic semantics and applications to security

Proceedings of the 2008 ACM symposium on Applied computing
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedia Semantic Interaction . This short paper describes FORCES's motivations, results and future research directions.