MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Specification and Refinement of Networks of Asynchronously Communicating Agents Using
by Ketil Stølen, Frank Dederichs, Rainer Weber, F. Dederichs, R. Weber — 1995 — Formal Aspects of Computing
… of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm Ketil St��len, Frank Dederichs…
Cited by 5 (0 self) – Add To MetaCart

BCS Specification and Refinement of Networks of Asynchronously Communicating Agents Using
by Ketil Stølen, Ketil St Len, Frank Dederichs, Rainer Weber, K. St Len, F. Dederichs, R. Weber — 1995
… of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm Ketil St len, Frank Dederichs…
Add To MetaCart

Formal Aspects of Computing Bibliography
by J. Allison, Mark Harman, Dan Simpson, Carroll Morgan, Annabelle Mciver, Karen Seidel, J C M Baeten, Geoffrey Brown, Wayne Luk, Ping Zhou, Jozef Hooman, Ruurd Kuiper Compositional Verification — 1997
… of asynchronously communicating agents using the assumption /commitment paradigm. Formal Aspects of Computing, 8…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB