|
@inproceedings{KT12c, author = {Pratyush Kumar and Lothar Thiele}, title = {Behavioural Composition: Constructively Built Server Algorithms}, address = {San Juan, Puerto Rico}, booktitle = {5th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems}, pages = {9--12}, month = {Dec}, year = {2012} }