Deadlock Freedom by Construction for Distributed Adaptive Applications

Sorry, there's nothing here.

Cite this paper

@article{Preda2014DeadlockFB, title={Deadlock Freedom by Construction for Distributed Adaptive Applications}, author={Mila Dalla Preda and Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Jacopo Mauro}, journal={CoRR}, year={2014}, volume={abs/1407.0970} }