MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Types in concurrency." – sorted by Relevance.

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

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

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

ATOM

Typed Concurrent Objects
by Vasco Vasconcelos — 1994 — ECOOP'94, LNCS
…Typed Concurrent Objects Vasco T. Vasconcelos Keio University Department of Computer Science 3…
Cited by 70 (11 self) – Add To MetaCart

Typing concurrent objects and actors
by Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé — 2000 — In L’Objet – Methodes formelles pour les objets (L’OBJET
…Typing Concurrent Objects and Actors Fabien Dagnat — Marc Pantel — Matthias Colin — Patrick Sallé…
Cited by 3 (0 self) – Add To MetaCart

Typed Concurrent Programs: Specification & Verification
by Rajagopal Nagarajan — 1998
… Typed Concurrent Programs: Specification & Verification RAJAGOPAL NAGARAJAN A thesis submitted…
Cited by 2 (2 self) – Add To MetaCart

Typed Concurrent Programming with Logic Variables
by Martin Müller, Joachim Niehren, Gert Smolka — 1997
…Typed Concurrent Programming with Logic Variables Martin M uller, Joachim Niehren, Gert Smolka…
Cited by 1 (1 self) – Add To MetaCart

An Interpretation of Typed Concurrent Objects in the Blue Calculus
by Silvano Dal-Zilio — 1999 — In Proceedings of the Conference on Empirical Methods in Natural Language Pr ocessing
…An Interpretation of Typed Concurrent Objects in the Blue Calculus DRAFT Silvano Dal…
Cited by 1 (0 self) – Add To MetaCart

Interaction Categories and the Foundations of Typed Concurrent Programming
by Samson Abramsky, Simon Gay, Rajagopal Nagarajan — 1995 — In Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School, NATO ASI Series F
…, Springer-Verlag, 1995. Interaction Categories and the Foundations of Typed Concurrent Programming Samson…
Cited by 110 (14 self) – Add To MetaCart

Specification Structures and Propositions-as-Types for Concurrency
by Samson Abramsky, Simon Gay, Rajagopal Nagarajan — 1995 — Logics for Concurrency: Structure vs. Automata---Proceedings of the VIIIth Banff Higher Order Workshop, volume 1043 of Lecture Notes in Computer Science
…Specification Structures and Propositions-as-Types for Concurrency Samson Abramsky Simon Gay…
Cited by 19 (5 self) – Add To MetaCart

A Process-Calculus Approach to Typed Concurrent Objects
by Vasco Thudichum — 1994
…A Process-Calculus Approach to Typed Concurrent Objects Vasco Thudichum Vasconcelos Keio University…
Add To MetaCart

A process-calculus approach to typed concurrent objects
by Vasco Thudichum Vasconcelos — 1994
… A Process-Calculus Approach to Typed Concurrent Ob jects Vasco Thudichum Vasconcelos Keio…
Cited by 12 (4 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

Showing 1 through 10. Next 10 →

ATOM

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