Brand and Zafiropulo's notion of Communicating Finite-State Machines (CFSMs) provides a succinct powerful model message-passing concurrency, based around channels. However, major variant concurrency is not readily captured by CFSMs: the actor model. In this work, we define CFSMs, called Actor Automata, to capture as provided Erlang: with mailboxes, from which messages are received according rep...

The �nancial pressure to meet the need for change in computer-based systems through evolution rather than through revolution has spawned the discipline of reengineering. One driving factor of reengineering is that it is increasingly becoming the case that enhanced requirements placed on computer-based systems are overstressing the processing resources of the systems. Thus, the distribution of p...

The interactions between a social robot and the user consist of continuous communication behavior involving different data types that can be subject to cybersecurity attacks prone privacy concerns. In this paper, we use Colored Petri Net (CPN) develop two graphical models illustrate patterned during such interaction. Using CPN, model analyze complicated system considering synchronization concur...