CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms (preliminary report)
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Expressiveness of Process Algebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Expressiveness of Multiple Heads in CHR
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
On the expressive power of priorities in CHR
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Expressive Power of Multiple Heads in CHR
ACM Transactions on Computational Logic (TOCL)
Parameterized Structured Operational Semantics
Fundamenta Informaticae
The expressive power of CHR with priorities
Information and Computation
Information and Computation
Hi-index | 0.00 |