Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

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.