Works matching IS 00015903 AND DT 2015 AND VI 52 AND IP 2/3
Results: 8
Refinement checking on parametric modal transition systems.
- Published in:
- Acta Informatica, 2015, v. 52, n. 2/3, p. 269, doi. 10.1007/s00236-015-0215-4
- By:
- Publication type:
- Article
Modal algebra and Petri nets.
- Published in:
- Acta Informatica, 2015, v. 52, n. 2/3, p. 109, doi. 10.1007/s00236-015-0216-3
- By:
- Publication type:
- Article
On constructibility and unconstructibility of LTS operators from other LTS operators.
- Published in:
- Acta Informatica, 2015, v. 52, n. 2/3, p. 207, doi. 10.1007/s00236-015-0217-2
- By:
- Publication type:
- Article
Observable liveness of Petri nets.
- Published in:
- Acta Informatica, 2015, v. 52, n. 2/3, p. 153, doi. 10.1007/s00236-015-0218-1
- By:
- Publication type:
- Article
State space axioms for T-systems.
- Published in:
- Acta Informatica, 2015, v. 52, n. 2/3, p. 133, doi. 10.1007/s00236-015-0219-0
- By:
- Publication type:
- Article
Moving from interface theories to assembly theories.
- Published in:
- Acta Informatica, 2015, v. 52, n. 2/3, p. 235, doi. 10.1007/s00236-015-0220-7
- By:
- Publication type:
- Article
CCS: It's not fair!
- Published in:
- Acta Informatica, 2015, v. 52, n. 2/3, p. 175, doi. 10.1007/s00236-015-0221-6
- By:
- Publication type:
- Article
Special issue on 'Comprehending asynchrony in specification and analysis' dedicated to Walter Vogler on the occasion of his 60th birthday.
- Published in:
- Acta Informatica, 2015, v. 52, n. 2/3, p. 107, doi. 10.1007/s00236-015-0214-5
- By:
- Publication type:
- Article