Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
The Human-Computer Interaction community has long been concerned with design. Terms such as ‘creativity’ and ‘innovation’ are frequently used when referring to the design ...
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
: To manage information quality (IQ) effectively, one needs to know how IQ changes over time, what causes it to change, and whether the changes can be predicted. In this paper we a...
In an effort to develop a training programme to assist teaching professionals to migrate towards e-teaching from more traditional modes of teaching, the European Commission (EC) p...