Acta Informatica
Collection
Collection
- ISSN: 0001-5903
Published by Springer
-
January 1981
-
Order and metric in the stream semantics of elemental concurrency Article
Acta Informatica, 24(5), 491-511.January 1987 -
Running a job on a collection of partly available machines, with on-line restarts Article
Acta Informatica, 37(10), 727-742.January 2001 -
Online square and cube packing Article
Acta Informatica, 41(9), 595-606.January 2005 -
Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article
Acta Informatica, 47(1), 33-66.M.M. Jaghoori (Mohammad Mahdi), M. Sirjani (Marjan), M.R. Mousavi, E. Khamespanah (Ehsan) and A. Movaghar (Ali)
January 2009
-
June 2018
-
Transducer degrees: atoms, infima and suprema Article
Acta Informatica, 727-758.J. Endrullis (Jörg), J.W. Klop (Jan Willem) and R. Bakhshi (Rena)
December 2019 -
Session-based concurrency, declaratively Article
Acta Informatica, 1-87.M. Cano (Mauricio), H.A. López (Hugo), J.A. Pérez Parra (Jorge) and C. Rueda (Camilo)
March 2021