The following pages link to (Q4530804):
Displaying 5 items.
- Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919) (← links)
- Process-centric views of data-driven business artifacts (Q2396822) (← links)
- Formal Sequentialization of Distributed Systems via Program Rewriting (Q2867960) (← links)
- Towards Deriving Test Sequences by Model Checking (Q2873605) (← links)
- On-the-fly Emptiness Check of Transition-Based Streett Automata (Q3648699) (← links)