Executable tile specifications for process calculi

Keyphrases

• Rewriting Logic 100%
• Process Calculi 100%
• Tile Logic 100%
• Tiling Systems 66%
• Recursion 33%
• Dynamic Interaction 33%
• Deduction 33%
• Implementation Effort 33%
• Executable Specification 33%
• Rest of the World 33%
• Language Implementation 33%
• Replicator 33%
• Semantic Base 33%

Computer Science

• Rewriting Logic 100%
• Case Study 33%
• Dynamic Interaction 33%
• Process Model 33%
• Implementation Effort 33%
• Language Implementation 33%
• Synchronism 33%