A weakest precondition semantics for communicating processes
- Tzilla Elrad
- Nissim Francez
- 1984
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
8905 results for Computer Science
Performance of an eyetracker for office use
- James L. Levine
- 1984
- Computers in Biology and Medicine
Analysis of an optical mapping technique for lung function studies
- A.R. Gourlay
- G. Kaye
- et al.
- 1984
- Computers in Biology and Medicine
VM/370, ATTACHED PROCESSOR, AND MULTIPROCESSOR PERFORMANCE STUDY.
- W.H. Tetzlaff
- W.M. Buco
- 1984
- IBM Systems Journal
PERFORMANCE ISSUES IN LOCAL-AREA NETWORKS.
- W. Bux
- 1984
- IBM Systems Journal
DESIGN OF THE REXX LANGUAGE.
- M.F. Cowlishaw
- 1984
- IBM Systems Journal
On the arithmetic complexity of matrix Kronecker powers
- Gadiel Seroussi
- Fai Ma
- 1983
- Information Processing Letters
Armstrong databases for functional and inclusion dependencies
- Ronald Fagin
- Moshe Y. Vardi
- 1983
- Information Processing Letters
Circuit Analysis, Logic Simulation, and Design Verification for VLSI
- Albert E. Ruehli
- Gary S. Ditlow
- 1983
- Proceedings of the IEEE
Parameter passing in algebraic specification languages
- Hartmut Ehrig
- Hans-Jörg Kreowski
- et al.
- 1983
- Theoretical Computer Science