Position Automata for Kleene Algebra with Tests.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 2, p. 367, doi. 10.7561/SACS.2012.2.367
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2012 AND VI 22 AND IP 2
Results: 4
1
2
On Safety Properties and Their Monitoring.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 2, p. 327, doi. 10.7561/SACS.2012.2.327
- By:
- Publication type:
- Article
3
Standard Type Soundness for Agents and Artifacts.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 2, p. 267, doi. 10.7561/SACS.2012.2.267
- By:
- Publication type:
- Article
4
Indirect Jumps Improve Instruction Sequence Performance.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 2, p. 253, doi. 10.7561/SACS.2012.2.253
- By:
- Publication type:
- Article