Specification and Stepwise Development of Communicating Systems.

Stephan Rssig, Michael Schenke

Browse the full FM paper archive.