Probabilistic Process Algebra and Strategic Interleaving.
- Published in:
- Scientific Annals of Computer Science, 2020, v. 30, n. 2, p. 205, doi. 10.7561/SACS.2020.2.205
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2020 AND VI 30 AND IP 2
Results: 3
1
2
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation.
- Published in:
- Scientific Annals of Computer Science, 2020, v. 30, n. 2, p. 167, doi. 10.7561/SACS.2020.2.167
- By:
- Publication type:
- Article
3
Instruction Sequence Faults with Formal Change Justification.
- Published in:
- Scientific Annals of Computer Science, 2020, v. 30, n. 2, p. 105, doi. 10.7561/SACS.2020.2.105
- By:
- Publication type:
- Article