MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Asynchronous Communication Model Based on Linear Logic." – 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

Asynchronous Communication Model Based on Linear Logic
by Naoki Kobayashi, Akinori Yonezawa — 1995 — Formal Aspects of Computing
…Asynchronous Communication Model Based on Linear Logic Naoki Kobayashi Akinori Yonezawa Department…
Cited by 43 (6 self) – Add To MetaCart

A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic"
by Philippe de Groote, Guy Perrier — 1998 — Formal Aspects of Computing
…A Note on Kobayashi's and Yonezawa's Asynchronous Communication Model Based on Linear Logic…
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 Computing, 7(1):91-- 105, 1995. [139] Naoki Kobayashi and Akinori Yonezawa. Asynchronous communication model…
Add To MetaCart

Showing 1 through 3.

ATOM

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