Process logic: Expressiveness, decidability, completeness
- David Harel
- Dexter Kozen
- et al.
- 1980
- FOCS 1980
Conference paper
Publications
9293 results for Computer Science
A model of shared DASD and multipathing
- Yonathan Bard
- 1980
- CACM
PaperComputational algorithms for product form queueing networks
- K. Mani Chandy
- Charles H. Sauer
- 1980
- CACM
PaperFiber optics for local data networks
- John D. Crow
- Martin W. Sachs
- 1989
- Proceedings of SPIE 1989
Conference paperDesign and fabrication of microelectronic lenses
- R.E. Tibbetts
- J.S. Wilczynski
- 1989
- Proceedings of SPIE 1989
Conference paperNotation as a Tool of Thought
- Kenneth E. Iverson
- 1980
- CACM
PaperOn Folk Theorems
- David Harel
- 1980
- CACM
PaperVerifying deep logic hierarchies with ALEX
- George M. Koppelman
- Klim Maling
- 1980
- DAC 1980
Conference paperA new look at logic synthesis
- John A. Darringer
- William H. Joyner
- 1980
- DAC 1980
Conference paperMinimizing Expected Head Movement in One-Dimensional and Two-Dimensional Mass Storage Systems
- C.K. Wong
- 1980
- ACM Computing Surveys (CSUR)
Paper