swMATH ID: 3238
Software Authors: INRIA; Aranda, Jesús; Assayag, Gerard; Olarte, Carlos; Pérez, Jorge A.; Rueda, Camilo; Toro, Mauricio; Valencia, Frank D.
Description: An overview of FORCES: An INRIA project on declarative formalisms for emergent systems. 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.
Homepage: http://www.lix.polytechnique.fr/~colarte/thesis-page/papers/ICLP09.pdf
Related Software:
Referenced in: 0 Publications