Publication | Closed Access

Specification-oriented semantics for Communicating Processes

Specification LanguageEngineeringAutomated ReasoningFormal MethodsSoftware AnalysisSoftware EngineeringProcess SpecificationSemanticsFormal VerificationSystem SoftwareSoftware DesignSpecification-oriented SemanticsSystem Specification