Process logic: Expressiveness, decidability, completeness
- David Harel
- Dexter Kozen
- et al.
- 1980
- FOCS 1980
Conference paper
Publications
26944 results for Science
A fast algorithm for multiprocessor scheduling
- Barbara Simons
- 1980
- FOCS 1980
Conference paperA 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 paperNegative-temperature coefficients of electrical resistivity in amorphous La-based alloys
- R. Mueller
- K. Agyeman
- et al.
- 1980
- Physical Review B
PaperExperimental energy-band dispersions, critical points, and spin-orbit splittings for GaSb using angle-resolved photoemission
- T.-C. Chiang
- D.E. Eastman
- 1980
- Physical Review B
PaperG-value decomposition of magnetic susceptibility in tetrathiafulvalene- and hexamethylenetetrathiafulvalene-tetracyanoquinodimethane (TTF-TCNQ and HMTTF-TCNQ)
- Y. Tomkiewicz
- A.R. Taranko
- et al.
- 1980
- Physical Review B
ReviewExchange and dipolar interactions in PrVO4: Gd
- F. Mehran
- K.W.H. Stevens
- et al.
- 1980
- Physical Review B
Paper