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

Jesus Aranda 1 Gérard Assayag 2 Carlos Olarte 1 Camilo Rueda 3 Toro Mauricio 3 Perez Jorge 4 Frank D. Valencia 1
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : The FORCES project aims at providing robust and declarative for- malisms 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.
Type de document :
Article dans une revue
Proc. of the 25th International Conference in Logic Programming ICLP'09, Springer, 2009, LNCS, 5649, pp.509-513. 〈10.1007/978-3-642-02846-5〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00426610
Contributeur : Catuscia Palamidessi <>
Soumis le : mardi 27 octobre 2009 - 01:46:56
Dernière modification le : jeudi 10 mai 2018 - 02:06:37
Document(s) archivé(s) le : mardi 16 octobre 2012 - 12:45:43

Fichier

forces-iclp.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Jesus Aranda, Gérard Assayag, Carlos Olarte, Camilo Rueda, Toro Mauricio, et al.. An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. Proc. of the 25th International Conference in Logic Programming ICLP'09, Springer, 2009, LNCS, 5649, pp.509-513. 〈10.1007/978-3-642-02846-5〉. 〈inria-00426610〉

Partager

Métriques

Consultations de la notice

455

Téléchargements de fichiers

159