A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
A computational formalization for partial evaluation
Mathematical Structures in Computer Science
A foundation for actor computation
Journal of Functional Programming
Actors and Logical Analysis of Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |