Information and Computation
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming
Action Refinement in Process Algebra and Security Issues
Logic-Based Program Synthesis and Transformation
A calculus for MAS interaction protocol
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae
| Hi-index | 0.00 |