Results 1 
2 of
2
The Compact Closed Bicategory of Left Adjoints
, 1999
"... We show that, for any braided compact closed bicategory B, the bicategory Ladj(B) of left adjoints in B also admits a braided compact closed structure. 1 ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We show that, for any braided compact closed bicategory B, the bicategory Ladj(B) of left adjoints in B also admits a braided compact closed structure. 1
A NonStandard Semantics for Kahn Networks in Continuous Time
"... In a seminal article, Kahn has introduced the notion of process network and given a semantics for those using Scott domains whose elements are (possibly infinite) sequences of values. This model has since then become a standard tool for studying distributed asynchronous computations. From the beginn ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
In a seminal article, Kahn has introduced the notion of process network and given a semantics for those using Scott domains whose elements are (possibly infinite) sequences of values. This model has since then become a standard tool for studying distributed asynchronous computations. From the beginning, process networks have been drawn as particular graphs, but this syntax is never formalized. We take the opportunity to clarify it by giving a precise definition of these graphs,