FScaFi : A Core Calculus for Collective Adaptive Systems Programming
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani
Topics & Concepts
Computer scienceFunctional programmingScalaSemantics (computer science)Theoretical computer scienceSyntaxField (mathematics)ComputationConcurrencyProgramming languageArtificial intelligenceMathematicsJavaPure mathematicsModular Robots and Swarm IntelligenceDistributed systems and fault toleranceLogic, programming, and type systems