Formal Aspects of Computing, Volume 6
Volume 6, Number 1, 1994
- John Staples, Peter J. Robinson, Daniel Hazel:
A Functional Logic for Higher Level Reasoning About Computation. 1-38 - J. Strother Moore:
A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol. 60-91
Volume 6, Number 2, 1994
- Jan Friso Groote, Alban Ponse:
Process Algebra with Guards: Combining Hoare Logic with Process Algebra. 115-164 - Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
A Theory of Processes with Localities. 165-200
Volume 6, Number 3, 1994
- Jos C. M. Baeten, Jan A. Bergstra:
On Sequential Compoisiton, Action Prefixes and Process Prefixes. 250-268
Volume 6, Number 4, 1994
- Johnston Paul Wray, A. Stewart:
Correct Translation of Data Parallel Assignment onto Array Processors. 417-439 - I. S. W. B. Prasetya:
Error in the UNITY Rule for Subscripted Operators (Short Communication). 466-470
Volume 6, Number 5, 1994
- David H. Pitt, Paddy Byers:
The Rest Says Unchanged (Concurrency and State-Based Specification). 471-494 - Peter Gorm Larsen:
Repsonse to "The Formal Specification of Safety Requirements for Storing Explosives" (Short Communication). 565-568 - Iain S. C. Houston, Mark B. Josephs:
Specifying Distributed CICS in Z: Accessing Local and Remote Resources (Short Communication). 569-579
Volume 6, Number 6, 1994
- Arnon Avron, Nada Sasson:
Stability, Sequentiality and Demand Driven Evaluation in Dataflow. 620-642 - Jifeng He, Jonathan P. Bowen:
Specification, Verification and Prototyping of an Optimized Compiler. 643-658 - Paola Inverardi, Corrado Priami, Daniel Yankelevich:
Automatizing Parametric Reasoning on Distributed Concurrent Systems. 676-695 - Mike Stannett:
Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence. 696-715 - Frank A. Stomp, Willem P. de Roever:
A Principle for Sequential Reasoning about Distributed Algorithms. 716-737
Volume 6, Number 6A, 1994
- Krzysztof R. Apt, Elena Marchiori:
Reasoning About Prolog Programs: From Modes Through Types to Assertions. 743-765 - Marcello M. Bonsangue, Joost N. Kok:
The Weakest Precondition Calculus: Recursion and Duality. 788-800