The following pages link to A generalized concurrent rule construction for double-pushout rewriting (Q2117256):
Displaying 1 item.