Theory of infinite streams and objects

Authors:
Konstantin Chekin
Affiliations:
Dresden University of Technology, Dresden
Venue:
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Year:
2005

Citing 2
Cited 0

Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
Interface Theories for Component-Based Design

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper provides a theory of infinite streams and objects, which contains our point of view on the problem of formal modelling of behaviors of objects and their systems with big or infinite number of internal states.