| |
Architecting Systems with Trustworthy Components In Architecting Systems with Trustworthy Components, Vol. 3938 (2006), pp. 137-151.
|
| |
Mathematical Foundations of Computer Science 1993 In Mathematical Foundations of Computer Science 1993, Vol. 711 (1993), pp. 301-310.
|
| |
|
| |
|
| |
No. SRI-CSL-93-1. (February 1994)
|
| |
No. 87-874. (October 1987)
|
| |
Software and Systems Modeling, Vol. 8, No. 1. (2009), pp. 45-65.
|
| |
Information Processing Letters, Vol. 36, No. 1. (1 October 1990), pp. 25-30.
|
| |
In EATCS Bulletin, No. 53. (June 1994), pp. 268-272.
|
| |
Distributed Systems In Distributed Systems, Vol. 190 (1985), pp. 203-285.
|
| |
IEEE Transactions on Software Engineering In IEEE Transactions on Software Engineering, Vol. SE-3, No. 2. (1977), pp. 125-143.
|
| |
Modeling and Verification of Parallel Processes In Modeling and Verification of Parallel Processes, Vol. 2067 (2001), pp. 39-57.
|
| |
Communications of the ACM, Vol. 32, No. 1. (January 1989), pp. 32-45.
|
| |
|
| |
Information Processing Letters, Vol. 21, No. 4. (7 October 1985), pp. 181-185.
|
| |
ACM Transactions in Programming Languages and Systems, Vol. 15, No. 1. (January 1993), pp. 73-132.
|
| |
No. YCST-2003-01. (September 2002)
|
| |
In 8th IEEE Computer Security Foundations Workshop (CSFW '95) (1995), pp. 136-145.
|
CiteULike
michaelbanks's CiteULike
Search
Export
