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. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Aranda, J., Assayag, G., Olarte, C., Pérez, J. A., Rueda, C., Toro, M., & Valencia, F. D. (2009). An overview of FORCES: An INRIA project on declarative formalisms for emergent systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5649 LNCS, pp. 509–513). https://doi.org/10.1007/978-3-642-02846-5_44
Mendeley helps you to discover research relevant for your work.