- Full text PDF available (5)
- This year (0)
- Last five years (0)
The notion of cartesian bicategory, introduced in [C&W] for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory.
In , 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  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)
1 The authors gratefully acknowledge financial support from the Universitá dell'Insubria and the Italian Government PRIN project ART (Analisi di sistemi di Riduzione mediante sistemi di Transizione).
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)
The past chairman of the MUMPS Users' Group and the MUMPS Development Committee, Richard Walters, traces the development of MUMPS from its inception through its subsequent fragmentation and eventual standardization. He also suggests what the future will look like for MUMPS-based technologies.