output
20022013
most citedRoom-temperature ferromagnetism in graphite driven by 2D networks of point defects

635 citations

researchers with a paper here
collaborating institutions
Showing 2006 · cs.LOShow all

1 paper · 2 filters

cs.LO2006

A Finite Equational Base for CCS with Left Merge and Communication Merge

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir +1

Using the left merge and communication merge from ACP, we present an equational base (i.e., a ground-complete and -complete set of valid equations) for the fragment of CCS witho…