Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus Abstract We / Kampen square / University of Western Sydney Paweł Soboci´nski BRICS∗ / /
IndustryTerm
non-trivial / distributed computing / well-behaved labelled transition systems / element abelian / /
Organization
Danish National Research Foundation / University of Western Sydney Paweł Soboci´nski BRICS∗ / University of Aarhus Abstract We / University of Aarhus / BRICS Department / Computer Science University of Aarhus Ny Munkegade / School of Quantitative Methods and Mathematical Sciences / /