The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...
This paper introduces an interactive tabletop system that enhances creative collaboration across physical and digital artifacts. Pictionaire offers capture, retrieval, annotation,...
This paper presents research on the application of the means-end chain (MEC) framework for investigating customers cognitive structure regarding community applications. It is argu...
Computer games are one of the most successful application domains in the history of interactive systems. This success has come despite the fact that games were ‘separated at bir...
Jeff Dyck, David Pinelle, Barry Brown, Carl Gutwin