On formal modeling of agent computations

Tadashi Araragi, Paul Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy Lynch, Ken Mano

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations
Original languageEnglish (US)
Title of host publicationFormal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers
EditorsJames L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon
PublisherSpringer Verlag
Pages48-62
Number of pages15
ISBN (Print)3540427163, 9783540427162
DOIs
StatePublished - Jan 1 2001
Externally publishedYes
Event1st International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000 - Greenbelt, United States
Duration: Apr 5 2000Apr 7 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1871
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000
CountryUnited States
CityGreenbelt
Period4/5/004/7/00

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Araragi, T., Attie, P., Keidar, I., Kogure, K., Luchangco, V., Lynch, N., & Mano, K. (2001). On formal modeling of agent computations. In J. L. Rash, W. Truszkowski, M. G. Hinchey, C. A. Rouff, & D. Gordon (Eds.), Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers (pp. 48-62). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1871). Springer Verlag. https://doi.org/10.1007/3-540-45484-5_4