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

DOI10.1007/S00165-008-0094-3zbMath1186.68323OpenAlexW2045382625MaRDI QIDQ1047214

Brad Wyble, Howard Bowman, Li Su, Philip Barnard

Publication date: 4 January 2010

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-008-0094-3

zbMATH Keywords

formal methodsHCIEEGattentional blinkinteracting cognitive subsystemsstimulus rich reactive interfaces

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Modelling and analysing neural networks using a hybrid process algebra ⋮ Analysing neurobiological models using communicating automata ⋮ Verification-guided modelling of salience and cognitive load

Uses Software

• LOTOS

Cites Work

• Process algebra with timing
• A model of the interaction between mood and memory
• Analysis of a Multimedia Stream using Stochastic Process Algebra
• System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Process algebraic modelling of attentional capture and human electrophysiology in interactive systems