Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems.

Jean-Pierre Krimm, Laurent Mounier

Browse the full TACAS paper archive.