Continuations for parallel logic programming
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Bisimulation Semantics For Concurrency With Atomicity And Action Refinement
Fundamenta Informaticae
Hi-index | 0.00 |