Publication | Closed Access

Describing process plans as the formal semantics of a language of shape

Formal SemanticsProcess CalculusEngineeringOperational SemanticsAutomated ReasoningComputational LinguisticsDesignFormal MethodsProcess SpecificationProcess PlansBusiness Process ModelingLanguage StudiesSemanticsLinguisticsSoftware DesignProcess Discovery