Hypernode automata

DOI10.1007/S00236-025-00509-8MaRDI QIDQ6879588zbMATH OpenFDO

Authors Ezio Bartocci, Marek Chalupa, Thomas A. Henzinger, Dejan Ničković, Ana Oliveira da Costa

Publication date 30 December 2025

Published in Acta Informatica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S00236-025-00509-8

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 1305002 (Why is no real title available?)
• A temporal logic for asynchronous hyperproperties
• A variant of a recursively unsolvable problem
• Asynchronous extensions of hyperLTL
• Automata theory. An algorithmic approach
• Communicating sequential processes
• Derivatives of Regular Expressions
• Dynamic partial-order reduction for model checking software
• Expressiveness and decidability of temporal logics for asynchronous hyperproperties
• Finite-word hyperlanguages
• Flavors of sequential information flow
• From regular expressions to deterministic automata
• Hypernode automata
• Multiparty asynchronous session types
• Notes on finite asynchronous automata
• On Communicating Finite-State Machines
• On Synchronized Multitape and Multihead Automata
• On synchronized multi-tape and multi-head automata
• Principles of security and trust. Third international conference, POST 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5--13, 2014. Proceedings
• Programming Techniques: Regular expression search algorithm
• Relational string verification using multi-track automata
• Second-order hyperproperties
• Team semantics for the specification and verification of hyperproperties
• The hierarchy of hyperlogics

This page was built for publication: Hypernode automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6879588)