Concurrent hyperproperties

DOI10.1007/978-3-031-40436-8_8MaRDI QIDQ6535831zbMATH OpenFDO

Authors Bernd Finkbeiner, Ernst-Rüdiger Olderog

Publication date 28 February 2024

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-40436-8_8

zbMATH Keywords

Petri netshyperpropertiesmay and must testingconcurrent traces

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Temporal hyperproperties
• A temporal logic for asynchronous hyperproperties
• Monitoring hyperproperties
• Model checking quantitative hyperproperties
• Flavors of sequential information flow

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3947615 (Why is no real title available?)
• scientific article; zbMATH DE number 4060688 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 1759984 (Why is no real title available?)
• scientific article; zbMATH DE number 827979 (Why is no real title available?)
• A calculus of communicating systems
• A logical characterization of well branching event structures
• A variant of a recursively unsolvable problem
• An Algorithm for the General Petri Net Reachability Problem
• Nets, Terms and Formulas
• Structural non-interference in elementary and trace nets
• Temporal hyperproperties
• Testing equivalences for processes

This page was built for publication: Concurrent hyperproperties

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