Using Pi-Calculus for specification of mobile agent communication.
Gordan JezicIgnac LovrekPublished in: IASTED Conf. on Software Engineering and Applications (2004)
Keyphrases
- agent communication
- multi agent
- multi agent systems
- agent communication language
- transition systems
- agent architecture
- mobile devices
- mobile phone
- provably correct
- formal language
- process algebra
- speech acts
- formal specification
- mobile applications
- mobile learning
- artificial intelligence
- intelligent agents
- reinforcement learning
- mobile computing
- formal methods
- temporal logic
- model checking
- context aware
- natural language
- machine learning