Keywords
TCC (1) | text to visual (2) | Textual Modelling DSL (2) |
thread-CPU bindings (1) | TigerQuoll (1) | Transaction ordering (1) |
Transparency (1) | try-confirm-cancel (2) |
TCC (1) | text to visual (2) | Textual Modelling DSL (2) |
thread-CPU bindings (1) | TigerQuoll (1) | Transaction ordering (1) |
Transparency (1) | try-confirm-cancel (2) |