- David M. Russinoff:
A Mechanically Verified Incremental Garbage Collector. Formal Aspects Comput. 6(4): 359-390 (1994) - A. Prasad Sistla:
Safety, Liveness and Fairness in Temporal Logic. Formal Aspects Comput. 6(5): 495-512 (1994) - Mike Stannett
:
Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence. Formal Aspects Comput. 6(6): 696-715 (1994) - John Staples, Peter J. Robinson, Daniel Hazel:
A Functional Logic for Higher Level Reasoning About Computation. Formal Aspects Comput. 6(1): 1-38 (1994) - Frank A. Stomp, Willem P. de Roever:
A Principle for Sequential Reasoning about Distributed Algorithms. Formal Aspects Comput. 6(6): 716-737 (1994) - Chris M. N. Tofts:
Processes with Probablities, Priority and Time. Formal Aspects Comput. 6(5): 536-564 (1994) - Johnston Paul Wray, A. Stewart:
Correct Translation of Data Parallel Assignment onto Array Processors. Formal Aspects Comput. 6(4): 417-439 (1994) - 1993
- Jos C. M. Baeten, Jan A. Bergstra:
Real space process algebra. Formal Aspects Comput. 5(6): 481-529 (1993)