Acta Informatica

SCOPUS (1971-2023)SCIE-ISI

  1432-0525

  0001-5903

 

Cơ quản chủ quản:  SPRINGER , Springer New York

Lĩnh vực:
SoftwareComputer Networks and CommunicationsInformation Systems

Các bài báo tiêu biểu

Monotone data flow analysis frameworks
Tập 7 Số 3 - Trang 305-317 - 1977
John B. Kam, Jeffrey D. Ullman
Specification-oriented semantics for Communicating Processes
- 1986
Ernst-Rüdiger Olderog, C. A. R. Hoare
Ordered attributed grammars
Tập 13 Số 3 - Trang 229-256 - 1980
Uwe Kastens
The multiple phase service network with generalized processor sharing
Tập 12 Số 3 - 1979
J. W. Cohen
On random 2?3 trees
- 1978
Andrew Chi-Chih Yao
The ?Hoare logic? of concurrent programs
Tập 14 Số 1 - Trang 21-37 - 1980
Leslie Lamport
Using circular programs to eliminate multiple traversals of data
Tập 21 Số 3 - Trang 239-250 - 1984
Richard Bird
Machine scheduling with availability constraints
- 1998
Éric Sanlaville, Günter Schmidt
Revised report on the algorithmic language ALGOL 68
- 1975
A. van Wijngaarcien, B. J. Mailloux, J. E. L. Peck, C. H. A. Kostcr, Michel Sintzoff, C. H. Lindsey, L.G.L.T. Meertens, R. G. Fisker