Transition and cancellation in concurrency and branching time.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 4, p. 485, doi. 10.1017/s0960129503004031
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2003 AND VI 13 AND IP 4
Results: 6
1
2
Foreword to special issue: The difference between concurrent and sequential computation.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 4, p. 481, doi. 10.1017/s096012950300402x
- By:
- Publication type:
- Article
3
The expressive power of urgent, lazy and busy-waiting actions in timed processes.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 4, p. 619, doi. 10.1017/s0960129503004018
- By:
- Publication type:
- Article
4
Embedding untimed into timed process algebra: the case for explicit termination.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 4, p. 589, doi. 10.1017/s0960129503004006
- By:
- Publication type:
- Article
5
Complexity of weak bisimilarity and regularity for BPA and BPP.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 4, p. 567, doi. 10.1017/s0960129503003992
- By:
- Publication type:
- Article
6
Sequentiality vs. concurrency in games and logic.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 4, p. 531, doi. 10.1017/s0960129503003980
- By:
- Publication type:
- Article