| |
In Programs as Data Objects (1986), pp. 1-23.
|
| |
In Distributed Systems (1984), pp. 307-319.
|
| |
In Automata, Languages and Programming (1983), pp. 1-14.
|
| |
In Foundations of Computation Theory (1983), pp. 1-13.
|
| |
In J. Pure and Applied Algebra, Vol. 143 (1999), pp. 3-47.
|
| |
In Distributed Computing Systems: Synchronization, Control and Coordination (1983), pp. 163-189.
|
| |
In International Journal of Unconventional Computing, Vol. 3, No. 3. (2007), pp. 179-197.
|
| |
In Theory and Applications of Categories, Vol. 14 (2005), pp. 111-124.
|
| |
In Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: {LICS} 2004 (2004), pp. 415-425.
|
| |
In Electronic Notes in Theoretical Computer Science, Vol. 69 (2003), pp. 1-26.
|
| |
In Office Information Systems (1982)
|
| |
In Theoretical Aspects of Computer Software, Vol. 1281 (1997), pp. 295-320.
|
| |
In Proceedings of the 1994 Marktoberdorf Summer Sxhool on Deductive Program Design (1996), pp. 35-113.
|
| |
In Logics for Concurrency: Structure vs. Automata---Proceedings of the VI I Ith Banff Higher Order Workshop (1996), pp. 5-40.
|
| |
In Theoretical Computer Science, Vol. 222 (1999), pp. 1-53.
|
| |
In Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: LICS 2004 (2004), pp. 150-159.
|
| |
In {TACAS 2004}: Tools and Algorithms for the Construction and Analysis of Systems, 10 International Conference, Vol. 2988 (2004), pp. 421-435.
|
| |
In Proceedings of {SAVBCS} 2003: Specification and Verification of Component-Based Systems, Workshop at {ESEC/FASE} 2003 (2003), pp. 66-74.
|
| |
In Mathematical Structures in Computer Science, Vol. 12 (2002), pp. 625-665.
|
| |
In Abstract Interpretation for Declarative Languages (1987), pp. 9-31.
|
| |
In Proceedings of the Thirteenth International Symposium on Logic in Computer Science (1998), pp. 334-344.
|
| |
In Annals of Pure and Applied Logic, Vol. 133 (2005), pp. 3-37.
|
| |
In Foundations of Software Science and Computational Structures, 6th International Conference, {FOSSACS} 2003, Vol. 2620 (2003), pp. 1-22.
|
| |
In Information and Computation, 111(1) (1994), pp. 53-119.
|
| |
In Journal of Symbolic Logic, Vol. 59, No. 2. (1994), pp. 543-574.
|
| |
In Symposium on Logic in Computer Science (1992), pp. 211-222.
|
| |
In Foundations of Software Technology and Theoretical Computer Science (1992), pp. 291-301.
|
| |
In Information and Computation, Vol. 163 (2000), pp. 409-470.
|
| |
In Theoretical Aspects of Computer Software (1994), pp. 1-15.
|
| |
In {ACM} Symposium on Principles of Programming Languages (1991), pp. 49-55.
|
| |
In Handbook of Logic in Computer Science (1994), pp. 1-168.
|
| |
In Annals of Pure and Applied Logic, Vol. 134 (2005), pp. 122-168.
|
| |
In CSL 2001 Conference Proceedings, Vol. 2142 (2001), pp. 442-457.
|
| |
In Proceedings of the Fourteenth International Workshop on Computer Science Logic, Vol. 1862 (2000), pp. 140-155.
|
| |
In Proceedings of the International Symposium on Mathematical Foundations of Computer Science, Vol. 1893 (2000), pp. 141-151.
|
| |
In Computational Logic: Proceedings of the 1997 Marktoberdorf Summer School (1999), pp. 1-56.
|
| |
In Theoretical Computer Science, Vol. 227 (1999), pp. 3-42.
|
| |
In Proceedings of the Eleventh International Workshop on Computer Science Logic, Vol. 1414 (1998), pp. 1-17.
|
| |
In Algol-like Languages (1997), pp. 317-348.
|
| |
In Proceedings of the Tenth Annual Symposium on Logic in Computer Science (1995), pp. 234-243.
|
| |
In Proceedings of the 1994 Workshop on Theory and Formal Methods (1995), pp. 1-20.
|
| |
In Proceedings of the Fourteenth International Symposium on Logic in Computer Science (1999), pp. 431-442.
|
| |
In Information and Computation, 105(2) (1993), pp. 159-268.
|
| |
In Proceedings of the International Symposium on Category Theory In Computer Science, Vol. 1290 (1997), pp. 147-158.
|
| |
In Functional Languages and Computer Architecture (1985), pp. 81-98.
|
| |
In Mathematical Structures in Computer Science, Vol. 3 (1993), pp. 161-227.
|
| |
In Science of Computer Programming 7 (1986), pp. 249-278.
|
| |
In Programs as Data Objects (1986), pp. 42-62.
|
| |
In Computer Journal, 36(4) (1993), pp. 320-334.
|
| |
In New Generation Computing, Vol. 6 (1988), pp. 119-143.
|
