The following pages link to (Q3998266):
Displayed 12 items.
- Logical foundations for programming semantics (Q685420) (← links)
- An operational semantics for paragon: A design notation for parallel architectures (Q756433) (← links)
- Process algebra and constraint programming for modeling interactions in MAS (Q814899) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- Equivalence of formal semantics definition methods (Q1355752) (← links)
- ConGolog, a concurrent programming language based on the situation calculus (Q1583234) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency (Q1901688) (← links)
- Using temporal logics to express search control knowledge for planning (Q1978242) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- (Q4222859) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)