The Evolution of Concurrent Programs
Applied Intelligence
Specification, testing and implementation relations for symbolic-probabilistic systems
Theoretical Computer Science
Combining effects: sum and tensor
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Processes as formal power series: a coinductive approach to denotational semantics
Theoretical Computer Science
Measuring the confinement of probabilistic systems
Theoretical Computer Science - Theoretical foundations of security analysis and design II
Discrete Lawvere theories and computational effects
Theoretical Computer Science - Algebra and coalgebra in computer science
The equational theory of prebisimilarity over basic CCS with divergence
Information Processing Letters
Testing equivalence for asymmetric χ-calculus
AsiaMS '07 Proceedings of the IASTED Asian Conference on Modelling and Simulation
On contract satisfaction in a higher-order world
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |