A survey of concurrent MetateM — The language and its applications-Reference-Cited by-同舟云学术

A survey of concurrent MetateM — The language and its applications

Published: Issue: Volume: Page:480-505
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Fisher Michael

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0014005

Reference22 articles.

1. M. Abadi and Z. Manna. Temporal Logic Programming. Journal of Symbolic Computation, 8: 277–295, 1989.

2. G. Agha. Actors — A Model for Concurrent Computation in Distributed Systems. MIT Press, 1986.

3. H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. MetateM: A Framework for Programming in Temporal Logic. In Proceedings of REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mook, Netherlands, June 1989. (Published in LNCS volume 430, Springer Verlag).

4. H. Barringer, M. Fisher, D. Gabbay, and A. Hunter. Meta-Reasoning in Executable Temporal Logic. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, April 1991.

5. H. Barringer and D. Gabbay. Executing temporal logic: Review and prospects (Extended Abstract). In Proceedings of Concurrency '88, 1988.

Cited by 85 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Linear-Time Temporal Answer Set Programming;Theory and Practice of Logic Programming;2021-12-27

2. Answer set programming and agents;The Knowledge Engineering Review;2018

3. A Quantitative Assessment of the JADEL Programming Language;Lecture Notes in Computer Science;2018

4. Agent-oriented model-driven development for JADE with the JADEL programming language;COMPUT LANG SYST STR;2017

5. Petri Nets for Mobile Agent: Theory and Application;Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016;2017-08-23