defining the operational semantics of a concurrent language

cs.stackexchange https://cs.stackexchange.com/questions/19349

  •  30-10-2019
  •  | 
  •  

Question

As big-step operational semantics is about evaluating an expression to a final value, can we state that for defining a concurrent language one needs small-step semantics, as concurrent programs need not result in a value?

No correct solution

Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange
scroll top