| |
In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94.
|
| |
ACM Trans. Comput. Logic, Vol. 10, No. 3. (2009), pp. 1-19.
|
| |
|
| |
Decision and Control, 1999. Proceedings of the 38th IEEE Conference on In Decision and Control, 1999. Proceedings of the 38th IEEE Conference on, Vol. 4 (1999), pp. 3538-3543 vol.4.
|
| |
INFORMATION AND COMPUTATION, Vol. {203}, No. {1}. (NOV {2005})
|
| |
In Introduction to Discrete Event Systems (2008)
|
| |
STACS 2006 (2006), pp. 684-695.
|
| |
In UMC '00: Proceedings of the Second International Conference on Unconventional Models of Computation (2001), pp. 202-214.
|
| |
Cellular Automata (2004), pp. 21-30.
|
| |
Future Gener. Comput. Syst., Vol. 18, No. 7. (2002), pp. 893-904.
|
| |
Unconventional Models of Computation (2002), pp. 220-229.
|
| |
Theor. Comput. Sci., Vol. 362, No. 1. (2006), pp. 1-16.
|
| |
ArXiv Mathematics e-prints (February 2003)
|
| |
No. UCB/ERL M92/101. (1992)
|
| |
Theoretical Computer Science, Vol. 126, No. 2. (25 April 1994), pp. 183-235.
|
| |
In In Int. Workshop on Computational Methods in Systems Biology (CMSB'03), LNCS, Vol. 2602 (2003), pp. 57-74.
|
| |
|
| |
Information and Computation, Vol. 206, No. 1. (January 2008), pp. 73-107.
|
| |
|
CiteULike
fierykylin's CiteULike
Search
Export
