An application of temporal projection to interleaving concurrency
- 期刊名称Formal Aspects of Computing
- 作者Ben Moszkowski,Dimitar P. Guelev
- 卷第29卷
- 期第4期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小1078.70KB
- 发表时间2017-7
- DOI10.1007/s00165-017-0417-3
- 页码705-750
Betakid--Lessons Learned While Developing a Microcomputer Pediatric Case SimulationWheeler, L. A.; Golden, M. P.; Wheeler, M. L.; Swider, C.; Price, M.; Marrero, D. G.; Gray, D.; Buckley, G. F.; Golden, D. J. · The Diabetes Educator · 1987
Effect of Zinc on Leucocyte Sodium Transport <i>In Vitro</i>Patrick, J.; Michael, J.; Golden, M. N.; Golden, B. E.; Hilton, P. J. · Clinical Science · 1978
Aortic Dissection in a Patient Receiving Chemotherapy for Hodgkin's Disease: A Case ReportGolden, M. A.; Vaughn, D. J.; Crooks, G. W.; Holland, G. A.; Bavaria, J. E.; Golden, M. A. · Angiology · 1997
Pulmonary Varix: A Diagnostic PitfallDAVIA, J. E.; GOLDEN, M. S.; PRICE, H. L.; HASTINGS, J. E.; CHEITLIN, M. D. · Circulation · 1974
Management of Pacific RockfishParker, S. J.; Berkeley, S. A.; Golden, J. T.; Gunderson, D. R.; Heifetz, J.; Hixon, M. A.; Larson, R.; Leaman, B. M.; Love, M. S.; Musick, J. A.; O'Connell, V. M.; Ralston, S.; Weeks, H. J.; Yoklavich, M. M. · Fisheries · 2000
Status and result from BESSK. Anraku; R. Golden; M. Imori; S. Inaba; B. Kimbell; N. Kimura; Y. Makida; H. Matsumoto; H. Matsunaga; J. Mitchell; M. Motoki; J. Nishimura; M. Nozaki; S. Orito; J. Ormes; D. Righter; T. Saeki; R. Streitmatter; J. Suzuki; K. Tanaka; I. Ueda; N. Yajima; T. Yamagami; A. Yamamoto; T. Yoshida; K. Yoshimura · 1996
Enhancing magnetorheology with nonmagnetizable particlesJ. C. Ulicny; K. S. Snavely; M. A. Golden; D. J. Klingenberg · 2010
Irish society for gastroenterologyK. Mottomley; M. Mylotte; C. F. McCarthy; J. F. O’Grady; J. P. McMullin; J. M. Golden; P. J. McMahon; P. A. FitzGerald; J. Kelleher; D. J. O’Sullivan; C. Doyle; J. Gibson; M. J. Whelton; S. F. O’Beirne; J. Flynn; M. O’Shea; A. MacSullivan; C. Cahill; D. Legge; B. E. Lane; G. O’Sullivan; P. G. Collins; P. G. Brady; G. Doyle; O. FitzGerald; J. J. Fennelly; R. P. Towers; I. M. Graham; M. J. Whelton; C. Doyle; W. Sircus; M. M. Young; J. J. Fennelly; R. Hayes; D. G. Weir; T. O’Neill; D. O’B. Hourihane; T. Hennessy; S. O’Leary; M. Lehane; Fiona M. Stevens; C. F. McCarthy; R. Wright; J. Goligher · Irish Journal of Medical Science (1971 -) · 1973
Resonance in rarefied gasesStruchtrup, Henning · Continuum Mechanics and Thermodynamics · 2012
Pearlite revisitedSteinbach, Ingo; Plapp, Mathis · Continuum Mechanics and Thermodynamics · 2012
Phase equilibria in isotropic solidsŠilhavý, M. · Continuum Mechanics and Thermodynamics · 2013
PrefacePastor, Manuel · Continuum Mechanics and Thermodynamics · 2015
A model of layered prismatic shellsJaiani, George · Continuum Mechanics and Thermodynamics · 2016
Thermomechanical characterisation of cellular rubberSeibert, H.; Scheffer, T.; Diebels, S. · Continuum Mechanics and Thermodynamics · 2016
Microinertia and internal variablesBerezovski, Arkadi; Ván, Peter · Continuum Mechanics and Thermodynamics · 2016
Micropolar continuum in spatial descriptionIvanova, Elena A.; Vilchevskaya, Elena N. · Continuum Mechanics and Thermodynamics · 2016