ARTICLES
4,744,705 Article(s)
1, 2, 3, 4, 5, 6 >>
Document(s)
Title
We define a translation from the User Action Notation (UAN) to the process algebra Communicating Sequential Processes (CSP). UAN is an informal notation, used for task modeling and design. Translating a UAN task description to CSP provides a base for...