Universal aspects of probabilistic automata.
- Published in:
- Mathematical Structures in Computer Science, 2002, v. 12, n. 4, p. 481, doi. 10.1017/S0960129502003614
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2002 AND VI 12 AND IP 4
Results: 5
1
2
An event structure based semantics for high-level message sequence charts.
- Published in:
- Mathematical Structures in Computer Science, 2002, v. 12, n. 4, p. 377, doi. 10.1017/S0960129501003589
- By:
- Publication type:
- Article
3
Constraint satisfaction algorithms for graph pattern matching.
- Published in:
- Mathematical Structures in Computer Science, 2002, v. 12, n. 4, p. 403, doi. 10.1017/S0960129501003577
- By:
- Publication type:
- Article
4
Algebraic properties of processes for Local Action Systems.
- Published in:
- Mathematical Structures in Computer Science, 2002, v. 12, n. 4, p. 423, doi. 10.1017/S096012950100353X
- By:
- Publication type:
- Article
5
Double categories: a modular model of multiplicative linear logic.
- Published in:
- Mathematical Structures in Computer Science, 2002, v. 12, n. 4, p. 449, doi. 10.1017/S0960129501003498
- By:
- Publication type:
- Article