Leafy automata for higher-order concurrency

Leafy automata for higher-order concurrency

<p>Finitary Idealized Concurrent Algol ( 𝖥𝖨𝖢𝖠 ) is a prototypical programming language combining functional, imperative, and concurrent computation. There exists a fully abstract game model of 𝖥𝖨𝖢𝖠 , which in principle can be used to prove equivalence and safety of 𝖥𝖨𝖢𝖠 programs. Unfortu...

Detaylı Bibliyografya
Asıl Yazarlar:	Dixon, A, Lazic, R, Murawski, AS, Walukiewicz, I
Materyal Türü:	Conference item
Dil:	English
Baskı/Yayın Bilgisi:	Springer 2021

Benzer Materyaller

Verifying higher-order concurrency with data automata
Yazar:: Dixon, A, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Third-order Idealized Algol with iteration is decidable
Yazar:: Murawski, A, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Saturating automata for game semantics
Yazar:: Dixon, A, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Weak Alternating Timed Automata
Yazar:: Pawel Parys, ve diğerleri
Baskı/Yayın Bilgisi: (2012-09-01)

Unfolding of Finite Concurrent Automata
Yazar:: Alexandre Mansard
Baskı/Yayın Bilgisi: (2018-10-01)

Unboundedness and downward closures of higher-order pushdown automata
Yazar:: Hague, M, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Higher-order linearisability
Yazar:: Murawski, AS, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Reachability in pushdown register automata
Yazar:: Murawski, A, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems /
Yazar:: 180279 Bowman, Howard, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Collapsible Pushdown Automata and Recursion Schemes
Yazar:: Murawski, C, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

DEQ: Equivalence checker for deterministic register automata
Yazar:: Murawski, A, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Language equivalence for probabilistic automata
Yazar:: Kiefer, S, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Collapsible pushdown automata and recursion schemes
Yazar:: Hague, M, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Collapsible pushdown automata and recursion schemes
Yazar:: Hague, M, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Linearity in higher-order recursion schemes
Yazar:: Clairambault, P, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

On the Complexity of the Equivalence Problem for Probabilistic Automata
Yazar:: Kiefer, S, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

A Fragment of ML Decidable by Visibly Pushdown Automata
Yazar:: Hopkins, D, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Fast, Approximate State Estimation of Concurrent Probabilistic Hybrid Automata
Yazar:: Timmons, Eric
Baskı/Yayın Bilgisi: (2018)

Fast, approximate state estimation of concurrent probabilistic hybrid automata
Yazar:: Timmons, Eric (Eric M.)
Baskı/Yayın Bilgisi: (2013)

Polynomial-time equivalence testing for deterministic fresh-register automata
Yazar:: Murawski, A, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

ON THE COMPLEXITY OF EQUIVALENCE AND MINIMISATION FOR Q-WEIGHTED AUTOMATA
Yazar:: Kiefer, S, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

The Big-O problem for labelled Markov chains and weighted automata
Yazar:: Chistikov, D, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Syntactic control of concurrency
Yazar:: Ghica, D, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Higher-Dimensional Timed and Hybrid Automata
Yazar:: Fahrenberg, Uli
Baskı/Yayın Bilgisi: (2022-12-01)

Weak equivalence of higher-dimensional automata
Yazar:: Thomas Kahl
Baskı/Yayın Bilgisi: (2021-05-01)

On the Complexity of Equivalence and Minimisation for Q-weighted Automata
Yazar:: Stefan Kiefer, ve diğerleri
Baskı/Yayın Bilgisi: (2013-03-01)

Angelic semantics of fine-grained concurrency
Yazar:: Ghica, D, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Hector: An Equivalence Checker for a Higher−Order Fragment of ML
Yazar:: Hopkins, D, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Partially Ordered Automata and Piecewise Testability
Yazar:: Tomáš Masopust, ve diğerleri
Baskı/Yayın Bilgisi: (2021-05-01)

Weighted Automata and Monadic Second Order Logic
Yazar:: Nadia Labai, ve diğerleri
Baskı/Yayın Bilgisi: (2013-07-01)

When is containment decidable for probabilistic automata?
Yazar:: Daviaud, L, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

When are emptiness and containment decidable for probabilistic automata?
Yazar:: Daviaud, L, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Model-Checking of Ordered Multi-Pushdown Automata
Yazar:: Mohamed Faouzi Atig
Baskı/Yayın Bilgisi: (2012-09-01)

Computing by Temporal Order: Asynchronous Cellular Automata
Yazar:: Michael Vielhaber
Baskı/Yayın Bilgisi: (2012-08-01)

ML, visibly pushdown class memory automata, and extended branching vector addition systems with states
Yazar:: Cotton-Barratt, C, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Higher-dimensional automata modeling shared-variable systems
Yazar:: Thomas Kahl
Baskı/Yayın Bilgisi: (2019-09-01)

Design and Experiment for Flexible Clamping and Conveying Device for Green Leafy Vegetable Orderly Harvester
Yazar:: Yue Jin, ve diğerleri
Baskı/Yayın Bilgisi: (2024-06-01)

Higher-Order Cellular Automata Generated Symmetry-Protected Topological Phases and Detection Through Multi Point Strange Correlators
Yazar:: Jie-Yu Zhang, ve diğerleri
Baskı/Yayın Bilgisi: (2024-08-01)

LEAFY FORESTS OF BILOHRUDIVSKY FOREST
Yazar:: Shlapak V. P.
Baskı/Yayın Bilgisi: (2018-06-01)

Cyberphysical System Modeled with Complex Networks and Hybrid Automata to Diagnose Multiple and Concurrent Faults in Manufacturing Systems
Yazar:: Alejandro Velazquez, ve diğerleri
Baskı/Yayın Bilgisi: (2023-09-01)