Previous Entry Share Next Entry
Process algebra modeling of human communication‭
Process algebra modeling of human communication‭
Steven Gibson
Superant Computing

Abstract.‭ ‬This paper proposes the use of process algebras and calculi to model human communication behaviors.‭ ‬This paper offers the beginning of formal methods to study the interaction of human beings.‭ ‬We will detail a limited process algebra to provide a tool for the high-level description of interactions,‭ ‬communications,‭ ‬and synchronizations between a collection of independent events.‭ ‬This limited process algebra is called event algebra.‭ ‬The expected outcomes are evaluation,‭ ‬verification of model identity and deadlock detection.

link to paper:

link to slides:

link to conference:

Presented at: 2009 World Congress in Computer Science - Las Vegas July 2009


Log in

No account? Create an account