Specifying Agent-Based Systems with Nets and Logic Programs

Reference:

Tomi Janhunen. Specifying agent-based systems with nets and logic programs. In Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä, editors, Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala, pages 33–46, Espoo, October 2000. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports HUT-TCS-A63.

Suggested BibTeX entry:

@inproceedings{Janhunen00:lncs,
    address = {Espoo},
    author = {Tomi Janhunen},
    booktitle = {Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala},
    editor = {Nisse Husberg and Tomi Janhunen and Ilkka Niemel{\"a}},
    month = {October},
    pages = {33--46},
    publisher = {Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports HUT-TCS-A63},
    title = {Specifying Agent-Based Systems with Nets and Logic Programs},
    year = {2000},
}

See www.tcs.hut.fi ...