Parametrized invariance for infinite state processes.
- Published in:
- Acta Informatica, 2015, v. 52, n. 6, p. 525, doi. 10.1007/s00236-015-0222-5
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2015 AND VI 52 AND IP 6
Results: 3
1
2
Contextual hyperedge replacement.
- Published in:
- Acta Informatica, 2015, v. 52, n. 6, p. 497, doi. 10.1007/s00236-015-0223-4
- By:
- Publication type:
- Article
3
Some properties of involution binary relations.
- Published in:
- Acta Informatica, 2015, v. 52, n. 6, p. 483, doi. 10.1007/s00236-014-0208-8
- By:
- Publication type:
- Article