CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
A refinement calculus for logic programs
Theory and Practice of Logic Programming
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
Hi-index | 0.00 |