Pages that link to "Item:Q1274970"
From MaRDI portal
The following pages link to Partial confluence of processes and systems of objects (Q1274970):
Displaying 4 items.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- Asynchronous sequential processes (Q1013090) (← links)
- An interpretation of typed objects into typed \(\pi\)-calculus (Q1271311) (← links)
- A process-calculus analysis of concurrent operations on B-trees (Q5943122) (← links)
