- Full text PDF available (3)
- This year (0)
- Last 5 years (1)
- Last 10 years (4)
Journals and Conferences
In this paper a we give a semantics for SCCS using the constructions of the topos of labelled trees. The semantics accounts for all aspects of the original formulation of SCCS, including unbounded non-determinism. Then, a partial solution to the problem of characterizing bisimulation in terms of a class of morphisms is proposed. We deene a class of… (More)
The theoretical study of the relational model of data is ongoing and highly developed. Yet the vast majority of real databases include incomplete data, and the incomplete data is widely modelled using special values called nulls. As noted many times by Date and others, the inclusion of special values is not compatible with the relational model and… (More)
In the context of the system theoretic theory of the liver, a new categorical approach is introduced, by which autoisodiasostasis is characterized in terms of the splitting of certain idempotents. Equifinal behaviors are then described in this setting.