A TLA+ specification for agent communication that enables proofs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A TLA+ specification for agent communication that enables proofs

Full text

Pdf (202 KB)

Source

International Conference on Autonomous Agents archive
Proceedings of the third annual conference on Autonomous Agents table of contents

Seattle, Washington, United States

Pages: 410 - 411

Year of Publication: 1999

ISBN:1-58113-066-X

Author

Ioan Alfred Letia

Technical University of Cluj-Napoca, Department of Computer Science, Baritiu 28, RO-3400 Cluj-Napoca, Romania

Sponsors

SIGGRAPH: ACM Special Interest Group on Computer Graphics and Interactive Techniques
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGCHI: ACM Special Interest Group on Computer-Human Interaction

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 17, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/301136.301276 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	FIPA. FIPA 98 Specification part 2: Agent communication language. Technical report, Foundation for Intelligent Physical Agents, 1998. Available from http://drogo, cselt.it/fipa/.
	2	Yannis Labrou and Tim Finin. Semantics and conversations for an agent communication language. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), pages 584-591, Yokohama, Japan, 1997.
	3	Leslie Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.872-923, May 1994 [doi>10.1145/177492.177726]
	4	Ira A. Smith and Philip R. Cohen. Towards a semantics for an agent communication language based on speech acts. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), pages 24-31, Portland, Oregon, 1996.
	5	Michael Wooldridge, Verifiable Semantics for Agent Communication Languages, Proceedings of the 3rd International Conference on Multi Agent Systems, p.349, July 03-07, 1998