Formalizing Requirements for Distributed Systems with Trace Diagrams.

Stephan Kleuker

Browse the full FM paper archive.