Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
A fixpoint theory for non-monotonic parallelism
Theoretical Computer Science
A Fully Abstract Semantics for Constructor Systems
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Hi-index | 0.89 |