output
20042008
most citedA Collection of Definitions of Intelligence

398 citations

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

1 paper · 2 filters

cs.LO2008

On Finite Bases for Weak Semantics: Failures versus Impossible Futures

Taolue Chen, Wan Fokkink, Rob van Glabbeek

We provide a finite basis for the (in)equational theory of the process algebra BCCS modulo the weak failures preorder and equivalence. We also give positive and negative results re…