TY - JOUR T1 - Process algebraic modelling of attentional capture and human electrophysiology in interactive systems JO - Formal Aspects of Computing UR - https://doi.org/10.1007/s00165-008-0094-3 PY - 2008/11/19 AU - Su L AU - Bowman H AU - Barnard P AU - Wyble B ED - DO - DOI: 10.1007/s00165-008-0094-3 PB - Association for Computing Machinery (ACM) VL - 21 IS - 6 Y2 - 2025/11/29 ER -