A logical and graphical framework for reaction systems
Linda Brodo, Roberto Bruni, Moreno Falaschi
Topics & Concepts
Computer scienceProgramming languageContext (archaeology)Theoretical computer scienceSet (abstract data type)ParsingRSSSemantics (computer science)Scripting languageNondeterministic algorithmMultisetPrinciple of compositionalityArtificial intelligenceMathematicsCombinatoricsBiologyPaleontologyOperating systemDNA and Biological Computingsemigroups and automata theoryFormal Methods in Verification