Petri nets with name creation for transient secure association.
- Published in:
- Acta Informatica, 2013, v. 50, n. 7/8, p. 403, doi. 10.1007/s00236-013-0188-0
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2013 AND VI 50 AND IP 7/8
Results: 3
1
2
A note on the factorization conjecture.
- Published in:
- Acta Informatica, 2013, v. 50, n. 7/8, p. 381, doi. 10.1007/s00236-013-0187-1
- By:
- Publication type:
- Article
3
Judgmental subtyping systems with intersection types and modal types.
- Published in:
- Acta Informatica, 2013, v. 50, n. 7/8, p. 359, doi. 10.1007/s00236-013-0186-2
- By:
- Publication type:
- Article