Skip to main content
Conference Proceedings

Behavioral subtyping relations for timed components

Communications in Computer and Information Science (2011) 257 CCIS 26-35
DOI: 10.1007/978-3-642-27207-3_4
0Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.
Get full text

Abstract

This paper deals with the behavioral substitutability of active components where services availability is a critical criterion for safety-properties preservation. Some timed subtyping relations are given and discussed in relation with the compatibility issue of active components. © 2011 Springer-Verlag.

Cite

CITATION STYLE

APA

Hammal, Y. (2011). Behavioral subtyping relations for timed components. In Communications in Computer and Information Science (Vol. 257 CCIS, pp. 26–35). https://doi.org/10.1007/978-3-642-27207-3_4

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free