? on "Eval" function in operational semantics of PRS (RIF-PRD)
- Ankesh (Friday, 18 March)
?s on operational semantics of atomic actions in RIF-PRD
- Ankesh (Friday, 18 March)
RIF Core document still contains an editor note
- Michael Schneider (Saturday, 26 March)
Last message date: Saturday, 26 March 2011 16:53:26 UTC