Various Constructions of Continuous Information Systems

Authors:
Luoshan Xu;Xuxin Mao
Affiliations:
Department of Mathematics, Yangzhou University, Yangzhou 225002, P.R. China;College of Science, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, P.R. China
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 15
Cited 0

Proofs and types

Proofs and types
Event structures and domains

Theoretical Computer Science
Non-deterministic information systems and their domains

Theoretical Computer Science
Logic of domains

Logic of domains
Information systems for continuous posets

Theoretical Computer Science
dI-Domains as prime information systems

Information and Computation
Continuous information system

Information and Computation
A representation of SFP

Information and Computation
Mathematical theory of domains

Mathematical theory of domains
Domain theory

Handbook of logic in computer science (vol. 3)
Domains for Denotational Semantics

Proceedings of the 9th Colloquium on Automata, Languages and Programming
Disjunctive Systems and L-Domains

ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
An introduction to event structures

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Information systems revisited – the general continuous case

Theoretical Computer Science
Adjunctions Between Categories Of Domains

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, some classical constructions for continuous information systems in a more general sense are established. Some non-classical constructions for continuous information systems such as weak systems, algebraic kernels and algebraic retracts are also introduced.