Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors
IEEE Transactions on Software Engineering
Automatic rate desynchronization of embedded reactive programs
ACM Transactions on Embedded Computing Systems (TECS)
Concise Graphs and Functional Bisimulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |