Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
No abstract available.
DOI 10.1007/978-3-642-00434-6_5
Related papers
- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude TACAS 2019
- A Logical Theory of Concurrent Objects OOPSLA 1990
- React-tRace: A Semantics for Understanding React Hooks: An Operational Semantics and a Visualizer for Clarifying React Hooks OOPSLA 2025
- Bridging the semantic gap between qualitative and quantitative models of distributed systems OOPSLA 2022
- Bma: Visual Tool for Modeling and Analyzing Biological Networks CAV 2012
- Domain-specific model differencing in visual concrete syntax SLE 2019
- The Real-Time Maude Tool TACAS 2008
- Extending DMM Behavior Specifications for Visual Execution and Debugging SLE 2010