Dynamic networks of heterogeneous timed machines
Sign Up to like & getrecommendations! Published in 2017 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129517000135
Abstract: We present an algebra of discrete timed input/output automata that may execute in the context of different clock granularities – which we call timed machines; this algebra includes a refinement operator through which a machine… read more here.
Keywords: timed machines; machine; networks heterogeneous; dynamic networks ... See more keywords