@article{Zuczek/76,
AUTHOR = {Zuczek, R.},
TITLE = {A new approach to parallel computing},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {1},
PAGES = {1-13},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=1&spage=1},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. Maszyn Matematyeznych, Uniwersytet Warszawski, Warsaw, Poland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Gelenbe-Muntz/76,
AUTHOR = {Gelenbe, E. and Muntz, R.R.},
TITLE = {Probabilistic models of computer systems. I. (exact results)},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {1},
PAGES = {35-60},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=1&spage=35},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Iria Lab., le Chesnay, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Madsen-Kristensen/76,
AUTHOR = {Madsen, O.L. and Kristensen, B.B.},
TITLE = {LR-parsing of extended context free grammars},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {1},
PAGES = {61-73},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=1&spage=61},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Aarhus, Aarhus, Denmark},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Walter/76a,
AUTHOR = {Walter, H.K.-G.},
TITLE = {Grammarforms and grammarhomomorphisms},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {1},
PAGES = {75-93},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=1&spage=75},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fachbereich Informatik, TH Darmstadt, Darmstadt, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Schnorr/76,
AUTHOR = {Schnorr, C.P.},
TITLE = {The network complexity and the Turing machine complexity of finite functions},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {1},
PAGES = {95-107},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=1&spage=95},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fachbereich Mathematik, Univ. Frankfurt, Frankfurt, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Gaver-Humfeld/76,
AUTHOR = {Gaver, D.P. and Humfeld, G.},
TITLE = {Multitype multiprogramming models},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {2},
PAGES = {111-121},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=2&spage=111},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Operation Res., Naval Postgraduate School, Montaey, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Gelenbe-Pujolle/76,
AUTHOR = {Gelenbe, E. and Pujolle, G.},
TITLE = {The behaviour of a single queue in a general queueing network},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {2},
PAGES = {123-136},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=2&spage=123},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Iria-Lab, le Chesnay, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Giammo/76,
AUTHOR = {Giammo, T.},
TITLE = {Validation of a computer performance model of the exponential queueing network family},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {2},
PAGES = {137-152},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=2&spage=137},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Social Security Administration, Baltimore, MD, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Landwehr/76,
AUTHOR = {Landwehr, C.E.},
TITLE = {An endogenous priority model for load control in combined batch-interactive computer systems},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {2},
PAGES = {153-166},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=2&spage=153},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Corp., Falls Church, VA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Buzen/76,
AUTHOR = {Buzen, J.P.},
TITLE = {Fundamental operational laws of computer system performance},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {2},
PAGES = {167-182},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=2&spage=167},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Harvard Univ., Cambridge, MA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Labetoulle-Pujolle/76,
AUTHOR = {Labetoulle, J. and Pujolle, G.},
TITLE = {A study of queueing networks with deterministic service and application to computer networks},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {2},
PAGES = {183-195},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=2&spage=183},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Iria Lab., le Chesnay, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Denning-Kahn-Leroudier-Potier-Suri/76,
AUTHOR = {Denning, P.J. and Kahn, K.C. and Leroudier, J. and Potier, D. and Suri, R.},
TITLE = {Optimal multiprogramming},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {2},
PAGES = {197-216},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=2&spage=197},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Purdue Univ., W. Lafayette, IN, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Spirn/76,
AUTHOR = {Spirn, J.R.},
TITLE = {Multi-queue scheduling of two tasks},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {2},
PAGES = {217-226},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=2&spage=217},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Computer Sci. Dept., Pennsylvania State Univ., University Park, PA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Welch/76,
AUTHOR = {Welch, P.D.},
TITLE = {On the self contained modelling of DB/DC systems},
JOURNAL = {Acta Inf.},
VOLUME = {7},
NUMBER = {2},
PAGES = {227-247},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=7&issue=2&spage=227},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Coffman-Sethi/76,
AUTHOR = {Coffman, E.G., Jr. and Sethi, Ravi},
TITLE = {Algorithms minimizing mean flow time: Schedule-length properties},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {1-14},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Neuhold-Weller/76,
AUTHOR = {Neuhold, E.J. and Weller, T.},
TITLE = {Specification and proving of command programs},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {15-40},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Darlington-Burstall/76,
AUTHOR = {Darlington, J. and Burstall, R.M.},
TITLE = {A system which automatically improves programs},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {41-60},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ershov/76,
AUTHOR = {Ershov, A.P.},
TITLE = {Axiomatics for memory allocation},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {61-75},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Galil/76a,
AUTHOR = {Galil, Zvi},
TITLE = {Hierarchies of complete problems},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {77-88},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Book-Chandra/76,
AUTHOR = {Book, Ronald V. and Chandra, Ashok K.},
TITLE = {Inherently nonplanar automata},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {89-94},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Monien/76b,
AUTHOR = {Monien, Burkhard},
TITLE = {Transformational methods and their application to complexity problems},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {95-108},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
NOTE = {see Corrigendum in Acta Inf.~8, 383-384},
}
@article{Anderson-Belz-Blum/76,
AUTHOR = {Anderson, E.R. and Belz, F.C. and Blum, E.K.},
TITLE = {SEMANOL (73). A metalanguage for programming the semantics of programming languages},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {109-131},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Karr/76,
AUTHOR = {Karr, Michael},
TITLE = {Affine relationships among variables of a program},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {133-151},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=133},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Moenck/76,
AUTHOR = {Moenck, Robert T.},
TITLE = {Another polynomial homomorphism},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {153-169},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=153},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Tarjan/76,
AUTHOR = {Tarjan, Robert Endre},
TITLE = {Edge-disjoint spanning trees and depth-first search},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {171-185},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=171},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Franta/76,
AUTHOR = {Franta, W.R.},
TITLE = {The mathematical analysis of the computer system modeled as a two stage cyclic queue},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {187-209},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=187},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Nutt/76,
AUTHOR = {Nutt, Gary J.},
TITLE = {Some resource allocation policies in a multi associative processor},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {211-225},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=211},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Schmid/76,
AUTHOR = {Schmid, Hans Albrecht},
TITLE = {On the efficient implementation of conditional critical regions and the construction of monitors},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {227-249},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Courtois-Vantilborgh/76,
AUTHOR = {Courtois, P.-J. and Vantilborgh, H.},
TITLE = {A decomposable model of program paging behaviour},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {251-275},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=251},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Backhouse/76,
AUTHOR = {Backhouse, R.C.},
TITLE = {An alternative approach to the improvement of $LR(k)$ parsers},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {277-296},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Schneider-Ehrig/76,
AUTHOR = {Schneider, H.J. and Ehrig, H.},
TITLE = {Grammars on partial graphs},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {297-316},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=297},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ashcroft-Clint-Hoare/76,
AUTHOR = {Ashcroft, E.A. and Clint, M. and Hoare, C.A.R.},
TITLE = {Remarks on ``Program proving: Jumps and functions by M. Clint and C.A.R. Hoare''},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {317-318},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=317},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Owicki-Gries/76,
AUTHOR = {Owicki, Susan and Gries, David},
TITLE = {An axiomatic proof technique for parallel programs I},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {319-340},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=319},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Cohen-Roth/76,
AUTHOR = {Cohen, Jacques and Roth, Martin},
TITLE = {On the implementation of Strassen's fast multiplication algorithm},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {341-355},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=341},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Dijkstra/76,
AUTHOR = {Dijkstra, Edsger W.},
TITLE = {On a gauntlet thrown by David Gries},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {357-359},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=357},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Taniguchi-Kasami/76,
AUTHOR = {Taniguchi, K. and Kasami, T.},
TITLE = {An $O(n)$ algorithm for computing the set of available expressions of D-charts},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {361-364},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=361},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Brandwajn/76,
AUTHOR = {Brandwajn, A.},
TITLE = {A model of a virtual memory system},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {365-386},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=365},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Wharton/76,
AUTHOR = {Wharton, R.M.},
TITLE = {Resolution of ambiguity in parsing},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {387-395},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=387},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Maurer-Wood/76,
AUTHOR = {Maurer, H.A. and Wood, D.},
TITLE = {On grammar forms with terminal context},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {397-402},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=397},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Heise/76,
AUTHOR = {Heise, Werner},
TITLE = {Optimal codes, n-arcs and Laguerre geometry},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {403-406},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=403},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ehrenfeucht-Rozenberg/76,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {On proving that certain languages are note ETOL},
JOURNAL = {Acta Inf.},
VOLUME = {6},
PAGES = {407-415},
YEAR = {1976},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=6&spage=407},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}