related documents Concurrent Object-Oriented Programs: From Specification to Code Conferences Verification and refinement with fine-grained action-based concurrent objects Conferences
