ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Acta Informatica
container_cnqseeosvrf6tnj6sc3lbn2y4e
Springer-Verlag
Homepage URLs
https://www.springer.com/computer/theoretical+computer+science/journal/236 |
https://link.springer.com/journal/236 |
Example Publications
Proportional lumpability and proportional bisimilarity
Andrea Marin, Carla Piazza, Sabina Rossi
2021
|
Acta Informatica
doi:10.1007/s00236-021-00404-y
An automated system repair framework with signal temporal logic
Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
2021
|
Acta Informatica
doi:10.1007/s00236-021-00403-z
Finite automata with undirected state graphs
Martin Kutrib, Andreas Malcher, Christian Schneider
2021
|
Acta Informatica
doi:10.1007/s00236-021-00402-0
Sound reasoning in tock-CSP
James Baxter, Pedro Ribeiro, Ana Cavalcanti
2021
|
Acta Informatica
doi:10.1007/s00236-020-00394-3
Session-based concurrency, declaratively
Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda
2021
|
Acta Informatica
doi:10.1007/s00236-021-00395-w