Towards action refinement for true concurrent real time.
- Published in:
- Acta Informatica, 2003, v. 39, n. 8, p. 531, doi. 10.1007/s00236-003-0117-8
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2003 AND VI 39 AND IP 8
Results: 3
1
2
A note on pure and p -pure languages.
- Published in:
- Acta Informatica, 2003, v. 39, n. 8, p. 579, doi. 10.1007/s00236-003-0107-x
- By:
- Publication type:
- Article
3
Ideal preemptive schedules on two processors.
- Published in:
- Acta Informatica, 2003, v. 39, n. 8, p. 597, doi. 10.1007/s00236-003-0119-6
- By:
- Publication type:
- Article