Process algebraic modelling of attentional capture and human electrophysiology in interactive systems

Li Su, Howard Bowman, Philip Barnard, Brad Wyble
2008 Formal Aspects of Computing  
doi:10.1007/s00165-008-0094-3 fatcat:lyktlm7dinflfhgsqcqyazl5jm