Floyd-Hoare logic in iteration theories
Journal of the ACM (JACM)
An algebraic model of synchronous systems
Information and Computation
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
PROCESSES WITH MULTIPLE ENTRIES AND EXITS MODULO ISOMORPHISM AND MODULO BISIMULATION
Fundamenta Informaticae
Hi-index | 0.00 |