Interaction-Calculus icon indicating copy to clipboard operation
Interaction-Calculus copied to clipboard
verified publisher icon VictorTaelin

Add extension for non-deterministic choice

Open rshn-mrry opened this issue 7 years ago • 1 comments

Is there an implementation of amb agent for representing non-deterministic computations?

rshn-mrry avatar Dec 09 '18 14:12 rshn-mrry

Not from me, sorry. Anton has implemented those.

VictorTaelin avatar Jan 09 '19 19:01 VictorTaelin