related documents
- Characterizing Locality (Encapsulation) with Bisimulation Conferences
- Complete Calculi for Structured Specifications in Fork Algebra Conferences
- Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements Conferences
- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting Conferences