| |
CONCUR 2006 – Concurrency Theory (2006), pp. 295-309.
|
| |
Theoretical Computer Science, Vol. 123, No. 1. (17 January 1994), pp. 9-19.
|
| |
ACM Comput. Surv., Vol. 33, No. 2. (June 2001), pp. 135-176.
|
| |
In ICALP '89: Proceedings of the 16th International Colloquium on Automata, Languages and Programming (1989), pp. 234-248.
|
| |
In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (2005), pp. 2-11.
|
| |
In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (2005), pp. 301-310.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 158 (05 May 2006), pp. 373-397.
|
| |
CONCUR 2007 – Concurrency Theory (2007), pp. 317-332.
|
| |
In Proceedings of the International Sympoisum on Semantics of Concurrent Computation (1979), pp. 266-284.
|
| |
Petri Nets: Applications and Relationships to Other Models of Concurrency, Vol. 255 (1987), pp. 325-392.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Fourth Workshop on Structural Operational Semantics (SOS 2007), Vol. 192, No. 1. (24 October 2007), pp. 93-108.
|
| |
Automata, Languages and Programming, Vol. 140 (1982), pp. 561-576.
|
| |
ACM Comput. Surv., Vol. 28, No. 4es. (1996)
|
| |
コンピュータソフトウェア, Vol. 17, No. 1. (2000), pp. 45-58.
|
| |
Acta Informatica, Vol. 35, No. 5. (1 May 1998), pp. 353-400.
|
| |
J. Comput. Secur., Vol. 11, No. 2. (May 2003), pp. 135-187.
|
| |
Theor. Comput. Sci., Vol. 275, No. 1-2. (2002), pp. 259-282.
|
| |
Information and Computation, Vol. 122, No. 1. (October 1995), pp. 97-119.
|
| |
Information and Computation, Vol. 114, No. 2. (1 November 1994), pp. 247-314.
|
Search
