Christian Stahl

Available identifiers

Publication	Date of Publication	Type
Complete homotopy invariants for translation invariant symmetric quantum walks on a chain	2018-04-12	Paper
Undecidability of accordance for open systems with unbounded message queues	2014-08-28	Paper
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching	2013-09-17	Paper
Strategies for modeling complex processes using colored Petri nets	2013-05-31	Paper
Guaranteeing weak termination in service discovery	2012-07-04	Paper
A trace-based service semantics guaranteeing deadlock freedom	2012-04-26	Paper
A trace-based view on operating guidelines	2011-05-19	Paper
Modeling business processes. A Petri net-oriented approach	2011-04-15	Paper
Relating fair testing and accordance for service replaceability	2010-05-27	Paper
Deciding Substitutability of Services with Operating Guidelines	2009-04-24	Paper
A Framework for Linking and Pricing No-Cure-No-Pay Services	2009-04-24	Paper
Services as a Paradigm of Computation	2008-09-25	Paper

This page was built for person: Christian Stahl