Pages that link to "Item:Q5096204"

The following pages link to An abstract concurrent machine for rewriting (Q5096204):

Displaying 2 items.

• A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
• Concurrent garbage collection for concurrent rewriting (Q5055825) (← links)