Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.
Problems concerning formal semantics for Clock Constraint Specification Language (CCSL) are considered in the paper. CCSL is intended for describing logical time models for real-time embedded systems… (More)
The Clock Constraint Specification Language (CCSL) has been defined as a formal companion language of the UML Profile for MARTE to allow defining causal and temporal constraints. This chapter… (More)
In this paper we consider a model of system interaction with the environment, which allows us to forget its full protocol from time to time. Mathematical models of such interactions are pre-machines.… (More)
This paper focuses on the contradiction that follows from Brewer’s Conjecture for distributed datastores: the need to deliver qualitative data to the user requires a guarantee of consistency,… (More)