Trace anomaly of the stress-energy tensor for massless vector particles propagating in a general background metricStephen L Adler; Judy Lieberman · Annals of Physics · 1978

Trace anomaly of the stress-energy tensor for massless vector particles propagating in a general background metric: Stephen L. Adler. The Institute for Advanced Study, Princeton, New Jersey 08540; and Judy Lieberman, Fermi National Accelerator Laboratory, Batavia, Illinois 60510Annals of Physics · 1978

Event fairness and non-interleaving concurrencyMarta Z. Kwiatkowska · 1989

[ACM Press the 9th ACM/IEEE International Conference - Stockholm, Sweden (2010.04.12-2010.04.16)] Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks - IPSN '10 - Software verification for TinyOSBucur, Doina; Kwiatkowska, Marta Z. · 2010