Interactions between Causal Structures in Graph Rewriting Systems.

Ioana CristescuWalter FontanaJean Krivine
Published in: CREST@ETAPS (2018)