Van de Snepscheut, Jan L. A.

Combined from CaltechAUTHORS

• Van de Snepscheut, Jan L. A. (1994) Mechanized Support for Stepwise Refinement; 10.7907/Z9NV9G8H
• Seitz, Charles L. and Martin, Alain J., el al. (1993) Submicron Systems Architecture: Semiannual Technical Report; 10.7907/Z9NS0RX7
• Leino, K. Rustan M. and Van de Snepscheut, Jan L. A. (1993) Semantics of Exceptions; 10.7907/Z9KK98TT
• Seitz, Charles L. and Martin, Alain J., el al. (1993) Submicron Systems Architecture; 10.7907/4fh9g-yr824
• Van de Snepscheut, Jan L. A. (1993) Proxac: An Editor for Program Transformation; 10.7907/Z9V40S70
• Van de Snepscheut, Jan L. A. (1993) On Lattice Theory and Program Semantics; 10.7907/Z95H7D9K
• Seitz, Charles L. and Martin, Alain J., el al. (1992) Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992; 10.7907/Z9WS8RF5
• Van de Snepscheut, Jan L. A. (1992) A LISP Programming Exercise; 10.7907/Z93F4MSW
• Esselink, Klaas and Van de Snepscheut, Jan L. A. (1992) Molecular Dynamics on the Mosaic; 10.7907/Z9P8493R
• Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1992) A Tutorial Introduction to Mosaic Pascal; 10.7907/7xby0-epj19
• Van de Snepscheut, Jan L. A. (1991) Inversion of a Recursive Tree Traversal; 10.7907/5k9bn-2re97
• Van de Snepscheut, Jan L. A. (1991) The Sliding Window Protocol Revisited; 10.7907/20k97-3bf71
• Hofstee, Peter H. and Lukkien, Johan J., el al. (1991) A Distributed Implementation of a Task Pool; 10.7907/kfk06-0gs07
• Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) Weakest Preconditions for Progress; 10.7907/dnyzm-jnn72
• Van de Snepscheut, Jan L. A. (1991) On the Correctness of Sliding Window Protocols; 10.7907/y9k9s-g7951
• Hofstee, H. Peter and Martin, Alain J., el al. (1990) Distributed sorting; Science of Computer Programming; Vol. 15; No. 2-3; 119-133; 10.1016/0167-6423(90)90081-N
• Martin, Alain J. and Van de Snepscheut, Jan L. A. (1989) Design of Synchronization Algorithms; ISBN 9783642748868; Constructive Methods in Computing Science; 447-478; 10.1007/978-3-642-74884-4_13
• Hofstee, H. Peter and Martin, Alain J., el al. (1989) Distributed Sorting; 10.7907/zaevr-tmm71
• Martin, Alain J. and Van de Snepscheut, Jan L. A. (1984) Networks of Machines for Distributed Recursive Computations; 10.7907/abxcf-t3r94