Specialization of Concurrent Guarded Multi-set Transformation Rules.

Thom W. Frhwirth

Browse the full LOPSTR paper archive.