Buchumschlag

Functionals in the Clouds: An abstract architecture of serverless Cloud-Native Apps

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ambroszkiewicz, Stanislaw, Bartyna, Waldemar, Bylka, Stanislaw
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Computation and Language Logic in Computer Science 68M14 F.4.3; F.1.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A simple protocol to automate the executing, scaling, and reconfiguration of Cloud-Native Apps
von: Ambroszkiewicz, Stanislaw, et al.
Veröffentlicht: (2023)

Commutative N-polyregular functions
von: Lopez, Aliaume
Veröffentlicht: (2024)

The Algebra of Nondeterministic Finite Automata
von: Gorrieri, Roberto
Veröffentlicht: (2023)

Axiomatizing NFAs Generated by Regular Grammars
von: Gorrieri, Roberto
Veröffentlicht: (2024)

Orbit-finite linear programming
von: Ghosh, Arka, et al.
Veröffentlicht: (2023)

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
von: Grabolle, Gustav
Veröffentlicht: (2022)

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
von: Basold, Henning, et al.
Veröffentlicht: (2023)

How Concise are Chains of co-Büchi Automata?
von: Ehlers, Rüdiger
Veröffentlicht: (2025)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
von: Ong, Shawn, et al.
Veröffentlicht: (2025)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
von: Adsul, Bharat, et al.
Veröffentlicht: (2024)

A correspondence between the time and space complexity
von: Latkin, Ivan V.
Veröffentlicht: (2023)

Graded Monads in the Semantics of Nominal Automata
von: Schulze, Hannes, et al.
Veröffentlicht: (2025)

Regular Model Checking for Systems with Effectively Regular Reachability Relation
von: Esparza, Javier, et al.
Veröffentlicht: (2025)

Characterizing NC1 with Typed Monoids
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
von: Chan, Jhet
Veröffentlicht: (2025)

A LOCAL View of the Polynomial Hierarchy
von: Reiter, Fabian
Veröffentlicht: (2023)

On Transition Constructions for Automata -- A Categorical Perspective
von: Cruchten, Mike
Veröffentlicht: (2024)

Polynomial Complementation of Nondeterministic 2-Way Finite Automata by 1-Limited Automata
von: Guillon, Bruno, et al.
Veröffentlicht: (2025)

Kleene Theorems for Lasso Languages and $ω$-Languages
von: Cruchten, Mike
Veröffentlicht: (2024)

Input-Erasing Two-Way Finite Automata
von: Meduna, Alexander, et al.
Veröffentlicht: (2025)

On the existence of strong proof complexity generators
von: Krajicek, Jan
Veröffentlicht: (2022)

Recursive windows for grammar logics of bounded density
von: Gasquet, Olivier
Veröffentlicht: (2025)

PSPACE-completeness of bimodal transitive weak-density logic
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Determination of the fifth Busy Beaver value
von: The bbchallenge Collaboration, et al.
Veröffentlicht: (2025)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
von: Geatti, Luca, et al.
Veröffentlicht: (2024)

Learning Deterministic One-Counter Automata in Polynomial Time
von: Mathew, Prince, et al.
Veröffentlicht: (2025)

On Some Complexity Results for Even Linear Languages
von: Cojocaru, Liliana
Veröffentlicht: (2024)

The decidability of the genus of regular languages and directed emulators
von: Bonfante, Guillaume, et al.
Veröffentlicht: (2021)

$\rm P$ has polynomial-time finite-state verifiers
von: Gezer, M. Utkan, et al.
Veröffentlicht: (2023)

Decidability of membership problems for flat rational subsets of $\mathrm{GL}(2,\mathbb{Q})$ and singular matrices
von: Diekert, Volker, et al.
Veröffentlicht: (2019)

A Logic For Fresh Labelled Transition Systems
von: Bandukara, Mohamed H, et al.
Veröffentlicht: (2025)

Decidable Reversible Equivalences for Finite Petri Nets
von: Gorrieri, Roberto, et al.
Veröffentlicht: (2025)

Compositional Separation of Control Flow and Data Flow
von: Arellanes, Damian
Veröffentlicht: (2023)

How to Verify a Turing Machine with Dafny
von: Lederer, Edgar F. A.
Veröffentlicht: (2026)

A Graded Modal Type Theory for Pulse Schedules
von: Adams, Robin, et al.
Veröffentlicht: (2025)

Mechanizing Operads with Event-B
von: Attiogbé, Christian
Veröffentlicht: (2025)

The Maude strategy language
von: Eker, Steven, et al.
Veröffentlicht: (2024)

Hardness of busy beaver value BB(15)
von: Stérin, Tristan, et al.
Veröffentlicht: (2021)

Turn Complexity of Context-free Languages, Pushdown Automata and One-Counter Automata
von: Pighizzini, Giovanni
Veröffentlicht: (2026)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
von: Schewe, Klaus-Dieter
Veröffentlicht: (2020)