Learn More
In [1],[3] the notion of well-supported compact closed categories was introduced-symmetric monoidal categories for which every object has a separable algebra structure. More recently it was shown in [2] that the category whose arrows are cospans of A-labelled graphs between finite sets is the generic symmetric monoidal category with a separable algebra(More)
We suggest that the canonical parallel operation of processes is composition in a well-supported compact closed category of spans of reflexive graphs. We present the parallel operations of classical process algebras as derived operations arising from monoid objects in such a category, representing the fact that they are protocols based on an underlying(More)
Previous work in multilingual support is reviewed. Research to date has involved four basic issues: character-set standardization, text input, internal storage and manipulation and display systems. Each of these areas is discussed. A workstation that supports many character sets in a windows environment and provides display and data manipulation of multiple(More)
The accelerating pace of improvement and innovation in today's microprocessors offers a real challenge to the software industry. MUMPS, a language well suited to take advantage of this technology, has already been introduced on 8-bit microcomputers, and 16-bit versions are under development. The long-term results of the availability of MUMPS on new(More)