@inproceedings{nienaltowski06b, author = {Piotr Nienaltowski and Bertrand Meyer}, title = {Contracts for concurrency}, booktitle = {First International Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages (CORDIE)}, month = {July}, year = {2006}, address = {York, United Kingdom}, timestamp = {2006.05.24}, urltopdf = {/old/people/nienaltowski/papers/contracts_for_concurrency.pdf} }