http://workcraft.org/ 2026-04-06T06:43:36+00:00 http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2020-09-24T10:11:35+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/tutorial/method/pipeline_wagging/start?rev=1600942295&do=diff Optimising Asynchronous Pipelines Using Wagging In this practical we consider asynchronous pipelines and use formal techniques to model and analyse them, and to improve their performance. Static Data-Flow Structures Many systems can be abstractly represented by