Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities.
- Published in:
- Scientific Annals of Computer Science, 2017, v. 27, n. 2, p. 177, doi. 10.7561/SACS.2017.2.177
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2017 AND VI 27 AND IP 2
Results: 3
1
2
Derived-Term Automata of Multitape Expressions with Composition.
- Published in:
- Scientific Annals of Computer Science, 2017, v. 27, n. 2, p. 137, doi. 10.7561/SACS.2017.2.137
- By:
- Publication type:
- Article
3
Axioms for Behavioural Congruence of Single-Pass Instruction Sequences.
- Published in:
- Scientific Annals of Computer Science, 2017, v. 27, n. 2, p. 111, doi. 10.7561/SACS.2017.2.111
- By:
- Publication type:
- Article