- Albert R. Meyer. A note on
star-free events. Journal of the ACM, 16(2):220-225,
April 1969.
References,
etc.
- Patrick C. Fischer, Albert R. Meyer, and Arnold L. Rosenberg. Real-time simulation of multihead
tape units. Journal of the ACM, 19(4):590-607, October
1972.
References,
Citations,
etc.
- Joel I. Seiferas, Michael J. Fischer, and Albert R. Meyer. Separating nondeterministic time
complexity classes. Journal of the ACM, 25(1):146-167,
January 1978.
Citations.
- Ernst W. Mayr and Albert R. Meyer. The complexity of the finite
containment problem for Petri nets. Journal of the ACM,
28(3):561-576, July 1981.
Citations.
- Albert R. Meyer and Joseph Y. Halpern. Axiomatic definitions of programming
languages: A theoretical assessment. Journal of the
ACM, 29(2):555-576, April 1982.
Citations.
- Bard Bloom, Sorin Istrail, and Albert R. Meyer. Bisimulation can't be traced.
Journal of the ACM, 42(1):232-268, January 1995.
Abstract,
References,
Citations,
etc.
Shortcuts: