Conditional Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani
Topics & Concepts
Computer scienceRewritingTheoretical computer scienceGraphSet (abstract data type)Matching (statistics)Graph rewritingProgramming languageMathematicsStatisticsModel-Driven Software Engineering TechniquesDNA and Biological ComputingFormal Methods in Verification