Jan L. A. van de Snepscheut

Publication Activity (10 Years)

Years Active: 1979-1995
Publications (10 Years): 0

Publications

Jan L. A. van de Snepscheut
The Sliding-Window Protocol Revisited. Formal Aspects Comput. 7 (1) (1995)
Jan L. A. van de Snepscheut
Mechanized Support for Stepwise Refinement. Programming Languages and System Architectures (1994)
K. Rustan M. Leino, Jan L. A. van de Snepscheut
Semantics of Exceptions. PROCOMET (1994)
Johan J. Lukkien, Jan L. A. van de Snepscheut
Weakest Preconditions for Progress. Formal Aspects Comput. 4 (2) (1992)
Jan L. A. van de Snepscheut
A LISP Programming Exercise. Inf. Process. Lett. 42 (2) (1992)
Jan L. A. van de Snepscheut
Inversion of a Recursive Tree Traversal. Inf. Process. Lett. 39 (5) (1991)
H. Peter Hofstee, Johan J. Lukkien, Jan L. A. van de Snepscheut
A Distributed Implementation of a Task Pool. Research Directions in High-Level Parallel Programming Languages (1991)
Jan L. A. van de Snepscheut
Foreword (Special Issue on Mathematics of Program Construction). Sci. Comput. Program. 14 (2-3) (1990)
H. Peter Hofstee, Alain J. Martin, Jan L. A. van de Snepscheut
Distributed Sorting. Sci. Comput. Program. 15 (2-3) (1990)
Alain J. Martin, Jan L. A. van de Snepscheut
An Interconnection Network for Distributed Recursive Computations. IEEE Trans. Computers 39 (11) (1990)
Jan L. A. van de Snepscheut, Johan B. Swenker
On the design of some systolic algorithms. J. ACM 36 (4) (1989)
David Gries, Alain J. Martin, Jan L. A. van de Snepscheut, Jan Tijmen Udding
An Algorithm for Transitive Reduction of an Acyclic Graph. Sci. Comput. Program. 12 (2) (1989)
Jan L. A. van de Snepscheut
Fair Mutual Exclusion on a Graph of Processes. Distributed Comput. 2 (2) (1987)
Jan L. A. van de Snepscheut
"Algorithms for On-the-Fly Garbage Collection" Revisited. Inf. Process. Lett. 24 (4) (1987)
Peter A. J. Hilbers, Marion R. J. Koopman, Jan L. A. van de Snepscheut
The Twisted Cube. PARLE (1) (1987)
Jan L. A. van de Snepscheut
A Derivation of a Distributed Implementation of Warshall's Algorithm. Sci. Comput. Program. 7 (1) (1986)
Jan L. A. van de Snepscheut, Jan Tijmen Udding
An Alternative Implementation of Communication Primitives. Inf. Process. Lett. 23 (5) (1986)
Jan L. A. van de Snepscheut
Evaluating Expressions with a Queue. Inf. Process. Lett. 20 (2) (1985)
Jan L. A. van de Snepscheut
Synchronous Communication Between Asynchronous Components. Inf. Process. Lett. 13 (3) (1981)
F. E. J. Kruseman Aretz, Jan L. A. van de Snepscheut, H. Grasdijk, J. M. H. Smeets
SATHE: Some Aspects of an ALGOL Implementation. Softw. Pract. Exp. 10 (7) (1980)
Jan L. A. van de Snepscheut, Gert Slavenburg
Introducing the notion of processes to hardware. SIGARCH Comput. Archit. News 7 (7) (1979)