| |
Electronic Notes in Theoretical Computer Science In Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005), Vol. 148, No. 2. (24 March 2006), pp. 105-126.
|
| |
CONCUR'98 Concurrency Theory (1998), pp. 481-488.
|
| |
In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, Vol. 23, No. 7. (July 1988), pp. 164-174.
|
| |
The Computer Journal, Vol. 6, No. 4. (1 January 1964), pp. 308-320.
|
| |
Journal of Functional Programming, Vol. 8, No. 04. (1998), pp. 437-444.
|
| |
SIGPLAN Not., Vol. 42, No. 9. (2007), pp. 85-96.
|
| |
In CCS '04: Proceedings of the 11th ACM conference on Computer and communications security (2004), pp. 298-307.
|
| |
Physical Review E, Vol. 80, No. 3. (5 September 2009)
|
| |
|
| |
In PPDP '06: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming (2006), pp. 249-260.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 194, No. 1. (08 November 2007), pp. 3-22.
|
| |
In AADEBUG '93: Proceedings of the First International Workshop on Automated and Algorithmic Debugging (1993), pp. 206-222.
|
| |
In Automated and Algorithmic Debugging (1993), pp. 206-222.
|
| |
In HOTOS'05: Proceedings of the 10th conference on Hot Topics in Operating Systems (2005), pp. 3-3.
|
| |
Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 361-391.
|
| |
In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 277-287.
|
| |
In MICRO '07: Proceedings of the 40th Annual IEEE/ACM International Symposium on Microarchitecture (2007), pp. 407-420.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems (2004), pp. 251-265.
|
| |
|
| |
SIGPLAN Not., Vol. 41, No. 9. (September 2006), pp. 13-25.
|
| |
|
| |
In Proceedings of the 29th conference on Winter simulation (1997), pp. 150-157.
|
| |
In Workshop on Aspect Reverse Engineering (2004)
|
| |
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 27, No. 5. (September 2002), pp. 98-103.
|
| |
Acta Informatica, Vol. 39, No. 3. (March 2003), pp. 143-209.
|
| |
SIGOPS Oper. Syst. Rev., Vol. 25, No. 5. (October 1991), pp. 122-136.
|
| |
In Proceedings of the13th ACM Symposium on Operating Systems Principle (1991), pp. 122-136.
|
| |
|
| |
In ISCA '92: Proceedings of the 19th annual international symposium on Computer architecture, Vol. 20, No. 2. (May 1992), pp. 46-57.
|
| |
SIGPLAN Not., Vol. 39, No. 4. (April 2004), pp. 257-269.
|
Search
