Mendler, MichaelMichaelMendler2019-09-192014-04-302011https://fis.uni-bamberg.de/handle/uniba/4266engAn Algebra of Synchronous Scheduling Interfacesconferenceobjecthttp://arxiv.org/PS_cache/arxiv/pdf/1101/1101.4733v1.pdf