MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On a Notion of Concurrence." – sorted by Relevance.

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

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

32 documents found, showing 1 through 10. Next 10 →

ATOM

Modeling agent conversations with colored petri nets
by R. Scott Cost, Ye Chen, Tim Finin, Yannis Labrou, Yun Peng — 1999 — In: Workshop on Specifying and Implementing Conversation Policies, Third International Conference on Autonomous Agents (Agents ’99), Seattle
… requiring a notion of concurrency. We propose the use of Colored Petri Nets as a model underlying a language…
Cited by 24 (4 self) – Add To MetaCart

Modeling Agent Conversations with Colored Petri Nets
by Scott Cost Ye, Ye Chen, Tim Finin, Yannis Labrou, Yun Peng — 1999
… heavily to date for this purpose, are not su cient for complex agent interactions requiring a notion…
Add To MetaCart

ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language - Its Design
by Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa — 1994 — Proceedings of the DIMACS workshop on Specification of Parallel Algorithms
… ABCL/f : A Future-Based Polymorphic Typed Concurrent Object-Oriented Language -- Its Design…
Cited by 27 (9 self) – Add To MetaCart

: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language -- Its Design
by Kenjiro Taura Satoshi, Satoshi Matsuoka, Akinori Yonezawa — 1994 — Proceedings of the DIMACS workshop on Specification of Parallel Algorithms
… ABCL/f : A Future-Based Polymorphic Typed Concurrent Object-Oriented Language -- Its Design…
Add To MetaCart

On Concurrent Realization of Reactive Systems and Their Morphisms
by Marek A. Bednarczyk, Andrzej M. Borzyszkowski — 2001 — Advances in Petri Nets: Unifying Petri Nets, LNCS
…On Concurrent Realization of Reactive Systems and Their Morphisms ⋆ Marek A. Bednarczyk…
Cited by 2 (1 self) – Add To MetaCart

Concurrent Computing: from Petri Nets to Graph Grammars
by Andrea Corradini — 1995 — Electronic Notes in Theoretical Computer Science
… for the specification of the behaviour of systems which are naturally endowed with a notion of concurrency. The success…
Cited by 9 (0 self) – Add To MetaCart

Heterogeneous Active Agents, III: Polynomially Implementable Agents
by Thomas Eiter, V. S. Subrahmanian, T.J. Rogers — 2000 — Artificial Intelligence
…" criteria.) Notion of Concurrency. A notion of concurrency is a function conc that takes as input a set…
Cited by 21 (7 self) – Add To MetaCart

IMPACT: a multi-agent framework with declarative semantics
by Jürgen Dix, Yingqian Zhang — In Bordini et al. [5], chapter 3
…. (3) Based on a notion of concurrency conc, determine the actions that can be executed and update…
Cited by 7 (0 self) – Add To MetaCart

Quantales, Concurrent Observations and Event Structures
by Pedro Resende — 1999 — Preprint, Departamento de Matematica, Instituto Superior Tecnico
… this idea, we introduce a notion of concurrent observation that generalizes pomsets by allowing an operation…
Cited by 3 (2 self) – Add To MetaCart

Open Distributed Programming Using The Object Oriented Specification Formalism Co-Opn
by Didier Buchs, Nicolas GUELFI — 1992 — Proceedings of 5th International Conference on Putting into Practice Methods and Tools for Information System Design, Nantes
… specification formalism has to be modular, concurrent and to have a formal notion of refinement. In this paper…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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