Many cyclic block diagrams do not need parallel semantics
ACM SIGPLAN Notices
Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
Fundamenta Informaticae
Hi-index | 0.00 |