Buscar
Mostrando ítems 1-2 de 2
Synchronous set relations in rewriting logic
(Elsevier, 2014)
This paper presents a mathematical foundation and a rewriting logic infrastructure for the execution and property verification of synchronous set relations. The mathematical foundation is given in the language of abstract ...
A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications
(2020)
The proliferation of on-demand internet services delivered over a network of a heterogeneous set of computing devices has created the need for high-performing dynamic systems in real-time. Services such as audio and video ...