Skip to Main content Skip to Navigation
Conference papers

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

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/inria-00426610
Contributor : Catuscia Palamidessi <>
Submitted on : Tuesday, October 27, 2009 - 1:46:56 AM
Last modification on : Tuesday, July 13, 2021 - 2:16:57 PM
Long-term archiving on: : Tuesday, October 16, 2012 - 12:45:43 PM

File

forces-iclp.pdf
Files produced by the author(s)

Identifiers

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. ICLP 2009 - 25th International Conference on Logic Programming, Jul 2009, Pasadena, United States. pp.509-513, ⟨10.1007/978-3-642-02846-5⟩. ⟨inria-00426610⟩

Share

Metrics

Record views

625

Files downloads

484