Searching for authors named "Nobuko Yoshida" – sorted by Relevance.
69 documents found, showing 1 through 10.
Next 10 →
-
Local State in Imperative Higher-Order Programming. Local
- …Abstract Local State in Hoare Logic for Imperative Higher-Order Functions Nobuko Yoshida Imperial…
- Add To MetaCart
-
Type-Based Liveness Guarantee in the Presence of Nontermination and Nondeterminism
- …Type-Based Liveness Guarantee in the Presence of Nontermination and Nondeterminism Nobuko Yoshida…
- Cited by 7 (6 self) – Add To MetaCart
-
Minimality and Separation Results on Asynchronous Mobile Processes - Representability Theorems by Concurrent Combinators (Extended Abstract)
- … by Concurrent Combinators --- (Extended Abstract) y Nobuko Yoshida ? Abstract. In [18, 19], we presented a…
- Cited by 12 (1 self) – Add To MetaCart
-
Graph Types For Monadic Mobile Processes
- …GRAPH TYPES FOR MONADIC MOBILE PROCESSES NOBUKO YOSHIDA Abstract. While types for name passing…
- Cited by 50 (4 self) – Add To MetaCart
-
Channel Dependent Types for Higher-Order Mobile Processes (Extended Abstract)
- …Channel Dependent Types for Higher-Order Mobile Processes (Extended Abstract) Nobuko Yoshida…
- Cited by 11 (3 self) – Add To MetaCart
-
Graph Notation For Concurrent Combinators
- …GRAPH NOTATION FOR CONCURRENT COMBINATORS NOBUKO YOSHIDA yoshida@(email omitted); Department…
- Cited by 19 (2 self) – Add To MetaCart
-
Processes, Types and Information Flow
- …Processes, Types and Information Flow Kohei Honda Nobuko Yoshida z Abstract. We develop a…
- Add To MetaCart
-
Probabilistic π-Calculus and Event Structures
- …Abstract Probabilistic π-Calculus and Event Structures 1 Daniele Varacca a Nobuko Yoshida b a PPS…
- Cited by 2 (2 self) – Add To MetaCart
-
Replication in Concurrent Combinators
- …REPLICATION IN CONCURRENT COMBINATORS KOHEI HONDA NOBUKO YOSHIDA kohei@(email omitted); yoshida…
- Cited by 9 (1 self) – Add To MetaCart
-
Assigning Types to Processes (Extended Abstract)
- …Assigning Types to Processes (Extended Abstract) NOBUKO YOSHIDA MATTHEW HENNESSY Dept…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
