Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
An effective fixpoint semantics for linear logic programs
Theory and Practice of Logic Programming
Sustainable interoperability on space mission feasibility studies
Computers in Industry
Hi-index | 0.01 |