Reference health
Developing Agent Interaction Protocols Using Graphical and Logical Methodologies
7/7 checkable references clean · checked 2026-07-24
Every reference with a DOI in the deposited reference list resolved to a known work in Crossref or DataCite at the dated check, and none carried a retraction, withdrawal, or removal notice.
14 without a DOI — not checked. A reference deposited without a DOI is never matched by title or guessed at; it stays outside the checked set, and this line discloses that.
The 7 checked references that resolve
resolves10.1109/ICSMC.1995.538189
Petri charts: an alternative technique for hierarchical net construction
The 14 references without a DOI — listed, not checked
no DOI — not checkedCost, R., Chen, Y., Finin, T., Labrou, Y., Peng, Y.: Modeling agent conversations with colored petri nets. In: Workshop on Specifying and Implementing Conversation Policies, pp. 59–66 (1999)
no DOI — not checkedFoundation for Intelligent Physical Agents. FIPA Agent Communication Language Specification, http://www.fipa.org
no DOI — not checkedGoldblatt, R.: Logics of Time and Computation. CSLI (1987)
no DOI — not checkedHarel, D., Politi, M.: Modeling reactive systems with statecharts. McGraw-Hill, New York (1998)
no DOI — not checkedMilner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
no DOI — not checkedNowostawski, M., Purvis, M., Cranefield, S.: A layered approach for modelling agent conversations. In: 2nd Int. Work. on Infrastructure for Agents, MAS, and Scalable MAS, Agents 2001 (2001)
no DOI — not checkedOMG. Negotiation Facility Specification. The Object Management Group, Inc. (2002), http://www.omg.org
no DOI — not checkedPaurobally, S.: Rational Agents and the Processes and States of Negotiation. PhD thesis, Imperial College (2002)
no DOI — not checkedPaurobally, S., Cunningham, J.: Safety and liveness of negotiation protocols. In: AISB 2002 Convention on AI and the Simulation of Behaviour, Intelligent Agents in virtual market track (2002)
no DOI — not checkedPaurobally, S., Cunningham, R.: Verification of protocols for negotiation between agents. In: ECAI-15, pp. 43–48 (2002)
no DOI — not checkedPaurobally, S., Cunningham, R.: Achieving common interaction protocols in open agent environments. In: Challenges in Open Agent Systems 2003 Workshop, 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (2003)
no DOI — not checkedPaurobally, S., Turner, P.J., Jennings, N.R.: Towards automating negotiation for m-services. In: AMEC V workshop, 2nd Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems, pp. 124–131 (2003)
no DOI — not checkedPurvis, M.K., Cranefield, S., Nowostawski, M., Purvis, M.A.: Multi-agent system interaction protocols in a dynamically changing environment. In: Workshop on Toward Application Science: MAS Problem Spaces and their implementation to achieve globally coherent behaviour. AAMAS (2002)
no DOI — not checkedWarmer, J., Kleppe, A.: Ocl: The constraint language of the uml. Journal of Object-Oriented Programming (1999)
What this badge says. CiteStamped means the CHECKABLE references of this
work were clean at the dated check: each resolved to a known work in a public registry, and none
carried a retraction notice at that time. It says nothing about the quality, findings,
or importance of the work itself, and nothing about references deposited without a DOI.
checked 2026-07-24 — re-checked daily as this page is visited; titles and statuses come from Crossref and DataCite and are not part of the signed record
Embed this badge
Both snippets point at the live badge image and link back to this page. The badge re-renders from the daily check, so an embed never goes stale by more than a day of visits.
<a href="https://citestamp.com/citestamped/10.1007/978-3-540-25936-7_8"><img src="https://citestamp.com/citestamped/10.1007/978-3-540-25936-7_8/badge.svg" alt="CiteStamped reference-health badge" width="460" height="64"></a>
[](https://citestamp.com/citestamped/10.1007/978-3-540-25936-7_8)