The following pages link to Christian Stahl (Q974131):
Displaying 9 items.
- Relating fair testing and accordance for service replaceability (Q974133) (← links)
- A trace-based service semantics guaranteeing deadlock freedom (Q2428498) (← links)
- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching (Q2849449) (← links)
- Guaranteeing Weak Termination in Service Discovery (Q2895782) (← links)
- A Trace-Based View on Operating Guidelines (Q3000625) (← links)
- Services as a Paradigm of Computation (Q3526949) (← links)
- Deciding Substitutability of Services with Operating Guidelines (Q3623825) (← links)
- A Framework for Linking and Pricing No-Cure-No-Pay Services (Q3623826) (← links)
- Complete homotopy invariants for translation invariant symmetric quantum walks on a chain (Q6300269) (← links)
