TY - JOUR T1 - Process algebraic modelling of attentional capture and human electrophysiology in interactive systems JO - Formal Aspects of Computing PY - 2009/12/01 AU - Su L AU - Bowman H AU - Barnard P AU - Wyble B ED - DO - DOI: 10.1007/s00165-008-0094-3 PB - Springer Science and Business Media LLC VL - 21 IS - 6 SP - 513 EP - 539 Y2 - 2025/04/09 ER -