The073th KARC Colloquium
The073th KARC Colloquium was ended. Thank you for the participation.
| Date&Time | Friday January 20, 2006 14:30~15:30 |
| Place | Conference Room, 3F, Research Building 2, KARC |
| Lecturer | "Team automata: a formal approach to model and verify distributed systems" |
| Speaker | Josep Carmona, Ph.D. (Universitat Politecnica de Cataluniya, Barcelona, Spain) |
| Abstract | Team Automata (Ellis, 97) is a formal model to specify distributed systems and the interactions between components in such systems. This model is attracting increasing interest, because it includes concepts like "collaboration" and "synchronization". These concepts are not only important for the design and validation of modern computer systems, but also in for example peer-to-peer file transfer in Internet applications, which typically employ several nodes that collaborate in sending a file to a given node. Team automata are especially useful in applications that require unrestricted synchronization, a reactive nature of components, collaboration of components, and a hierarchical and iterative construction. This talk introduces the model and aims to create some intuition on its use by giving examples. |
| Language | English |
| Admission | Free |
| Organizer | Ferdinand Peper Nanotechnology Group,Kansai Advanced Research Center,National Institute of Information and Communications Technology |