Results 1 
3 of
3
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 3 (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,
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
On Automata with Boundary
, 1999
"... We present a theory of automata with boundary for designing, modelling and analysing distributed systems. Notions of behaviour, design and simulation appropriate to the theory are dened. The problem of model checking for deadlock detection is discussed, and an algorithm for state space reduction ..."
Abstract
 Add to MetaCart
We present a theory of automata with boundary for designing, modelling and analysing distributed systems. Notions of behaviour, design and simulation appropriate to the theory are dened. The problem of model checking for deadlock detection is discussed, and an algorithm for state space reduction in exhaustive search, based on the theory presented here, is described. Three examples of the application of the theory are given, one in the course of the development of the ideas and two as illustrative examples of the use of the theory.