Process algebraic modelling of attentional capture and human electrophysiology in interactive systems | springerprofessional.de

Springer Professional

Top

Formal Aspects of Computing

Published in:

Open Access 01-12-2009 | Original Article

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

Authors: Li Su, Howard Bowman, Philip Barnard, Brad Wyble

Published in: Formal Aspects of Computing | Issue 6/2009

previous article Editorial

next article Verification-guided modelling of salience and cognitive load

Title: Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
Authors: Li Su
Howard Bowman
Philip Barnard
Brad Wyble
Publication date: 01-12-2009
Publisher: Springer-Verlag
Published in: Formal Aspects of Computing / Issue 6/2009
Print ISSN: 0934-5043
Electronic ISSN: 1433-299X
DOI: https://doi.org/10.1007/s00165-008-0094-3

Premium Partner