MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Concurrency Theory." – sorted by Relevance.

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

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

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

ATOM

Will Concurrency Theory help verifying
by Multi-Agent Systems Case, Michael Schroeder — 1997 — In: EPIA Workshop on Multi-Agent Systems: Theory and Applications
…Will Concurrency Theory help verifying Multi-Agent Systems? -- A Case Study -- Michael Schroeder…
Add To MetaCart

An Interpretation of Cognitive Theory in Concurrency Theory
by Howard Bowman — 1998
…An Interpretation of Cognitive Theory in Concurrency Theory (Long Version) Howard Bowman y…
Cited by 1 (1 self) – Add To MetaCart

Concurrency Theory of Cyclic and Acyclic Processes
by Fachbereich Informatik, Arbeitsbereich Theoretische, Grundlagen Informatik, Mark-Oliver Stehr, Mark-oliver Stehr — 1996
…Concurrency Theory of Cyclic and Acyclic Processes Mark-Oliver Stehr Universitat Hamburg…
Add To MetaCart

Some Geometric Perspectives in Concurrency Theory
by Eric Goubault — 2003 — HOMOLOGY, HOMOTOPY AND APPLICATIONS
… PERSPECTIVES IN CONCURRENCY THEORY ERIC GOUBAULT (communicated by Gunnar Carsson and Rick Jardine) Abstract…
Cited by 23 (3 self) – Add To MetaCart

Will Concurrency Theory help verifying Multi-Agent Systems? - A Case Study
by Michael Schroeder — 1997 — In: EPIA Workshop on Multi-Agent Systems: Theory and Applications
…Will Concurrency Theory help verifying Multi-Agent Systems? -- A Case Study -- Michael Schroeder…
Add To MetaCart

Delayed choice: an operator for joining Message Sequence Charts
by Jos Baeten, Sjouke Mauw, J. C. M. Baeten, S. Mauw — 1994
… this operator within the framework of BPA " . This is the concurrency theory BPA (Basic Process Algebra…
Cited by 23 (5 self) – Add To MetaCart

B. Charron-Bost. Combinatorics and geometry of consistent cuts:application to concurrency theory
by Charron-Bost Measure Of, Of The Acm — 1993
…[4] B. Charron-Bost. Combinatorics and geometry of consistent cuts:application to concurrency…
Add To MetaCart

Languages for Concurrency
by Catuscia Palamidessi, Frank D. Valencia
… This essay offers an overview of basic aspects and central development in Concurrency Theory based on formal…
Add To MetaCart

Characterizing Multicast Orderings using Concurrency Control Theory
by P. A. Jensen, Jensen Soparkar, A. G. Mathur — 1997 — In International Conference on Distributed Computing Systems
…Characterizing Multicast Orderings using Concurrency Control Theory P.A. Jensen N.R. Soparkar A…
Cited by 4 (2 self) – Add To MetaCart

Petri's Axioms of Concurrency A Selection of Recent Results
by Olaf Kummer, Mark-Oliver Stehr — 1997 — In P. Az#ma and G. Balbo (eds), 20th ICATPN
…,stehrg@(email omitted); Abstract Concurrency theory, as developed by Carl Adam Petri, is an axiomatic theory of binary relations…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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