What is it about?
FORCES (FORmalisms from Concurrency for Emergent Systems) is a Colombian-French project funded by the program of “Equipes Associées” of INRIA. The teams involved in this research collaboration are COMETE (INRIA), the Music Representation Research Group (IRCAM) and AVISPA (Colciencias).
Featured Image
Why is it important?
The main goal is to provide more robust formalisms for analyzing the emergent systems our teams have been modeling during recent years: I.e., Security Protocols, Biological Systems and Multimedia Semantic Interaction. Our research strategy is, with the benefit of hindsight, to develop them as suitable extensions or specializations of concurrent constraint-based calculi.
Read the Original
This page is a summary of: An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems, January 2009, Springer Science + Business Media,
DOI: 10.1007/978-3-642-02846-5_44.
You can read the full text:
Contributors
The following have contributed to this page
