Searching for "A Logical Theory of Concurrent Objects." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Proc. Workshop on Strategies in Automated Deduction
- …. Kluwer Academic Publishers, Boston, MA, 1993. 24. J. Meseguer. A logical theory of concurrent objects…
- Add To MetaCart
-
Distributed Logic Objects: A Fragment of Rewriting Logic and its Implementation
- … and lengthening transmission delay. In the meanwhile, Meseguer proposed a logic theory of concurrent objects…
- Cited by 3 (0 self) – Add To MetaCart
-
A (Not Very Much) Annotated Bibliography on Integrating Object-Oriented and Logic Programming
- … 181--192, Paris, June 1987. SpringerVerlag. [43] J. Meseguer. A logical theory of concurrent objects…
- Cited by 2 (0 self) – Add To MetaCart
-
WARREN, D.H.D. 1982b. "Perpetual Processes -- An Unexploited Prolog Technique", Short Communication,
- …, Chapter 34, pp.415-441. 53 MESEGUER, J. 1990. "A Logical Theory of Concurrent Objects", In Proc. of ECOOP…
- Add To MetaCart
Showing 1 through 4.
