Efficient Interpretation of Chart Pattern Language
No abstract available.
Related papers
- Charting Patterns on Price History ICFP 2001
- An Automata Based Interpretation of Live Sequence Charts TACAS 2001
- Check It Out: On the Efficient Formal Verification of Live Sequence Charts CAV 2006
- Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts ECOOP 2023
- Interpreter Generation Using Tree Pattern Matching POPL 1979
- A Toolset for Message Sequence Charts CAV 1998
- TRIM: A Tool for Triggered Message Sequence Charts CAV 2003
- Compositional Message Sequence Charts TACAS 2001