Taming the Infinities of Concurrency : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

KIEFER, Stefan; Jan KŘETÍNSKÝ a Antonín KUČERA. Taming the Infinities of Concurrency : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday. Springer, 2024, 309 s. ISBN 978-3-031-56221-1. Dostupné z: https://doi.org/10.1007/978-3-031-56222-8.

Základní údaje

Originální název

Taming the Infinities of Concurrency : Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Autoři

KIEFER, Stefan; Jan KŘETÍNSKÝ a Antonín KUČERA

Vydání

309 s. 2024

Nakladatel

Springer

---

Další údaje

Jazyk

angličtina

Typ výsledku

Editorství tematického sborníku, editorství monotematického čísla odborného časopisu

Obor

10201 Computer sciences, information science, bioinformatics

Utajení

není předmětem státního či obchodního tajemství

Odkazy

DOI

Impakt faktor

Impact factor: 0.402 v roce 2005

Označené pro přenos do RIV

Ano

Organizační jednotka

Fakulta informatiky

ISBN

978-3-031-56221-1

ISSN

DOI

https://doi.org/10.1007/978-3-031-56222-8

Klíčová slova anglicky

concurrency

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

This Festschrift celebrates Javier’s contributions on the occasion of his 60th birthday, the contributions reflect the breadth and depth of his successes in Petri nets, concurrency in general, distributed and probabilistic systems, games, formal languages, logic, program analysis, verification, and synthesis.