Action Refinement and Property Inheritance in Systems of Sequential Agents.

Michaela Huhn

Browse the full CONCUR paper archive.