Section: New Results

CCSL extension to Stochastic logical time

Participants : Frédéric Mallet, Robert de Simone.

CCSL specifications allows distinct clocks with unfixed inter-relations. In settings such as cyber-physical modeling, probabilistic rates of relative occurrences may be provided as bounds. The objective is to provide construct to introduce such relations for the inclusion and precedence partial orders, but also to consider also constructs that associate them. Preliminary results have been obtained by Frédéric Mallet in collaboration with fellow researchers from ECNU Shanghai.