| |
Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 38-62.
|
| |
|
| |
Acta Informatica, Vol. 14, No. 1. (1 June 1980), pp. 21-37.
|
| |
|
| |
Foundations of Computer Science, 1977., 18th Annual Symposium on In Symposium on Foundations of Computer Science, Vol. 0 (18 July 2008), pp. 46-57.
|
| |
Communications of the ACM, Vol. 21, No. 7. (July 1978), pp. 558-565.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 4, No. 3. (1982), pp. 455-495.
|
| |
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.
|
| |
|
| |
|
| |
Formal Methods in System Design, Vol. 18, No. 3. (2001), pp. 249-284.
|
| |
|
| |
|
| |
Formal Aspects of Computing, Vol. 15, No. 2. (1 November 2003), pp. 182-214.
|
| |
|
| |
Formal Aspects of Computing, Vol. 8, No. 6. (1 November 1996), pp. 617-647.
|
| |
|
| |
In Communicating Sequential Processes, Vol. 3525 (2005), pp. 61-74.
|
| |
Theoretical Computer Science, Vol. 335, No. 2-3. (2005), pp. 131-146.
|
Search
Export
