Attributed transition systems with hidden transitions

DOI10.1007/s10559-017-9954-2zbMath1400.68127OpenAlexW2737932601MaRDI QIDQ1709456

Peng Zhang

Publication date: 5 April 2018

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-017-9954-2

zbMATH Keywords

admissibilityattributed transition systemhidden transitionsafeness and correctness of systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Analysis of the structure of attributed transition systems without hidden transitions
• Systems specification by basic protocols
• The Power of Well-Structured Systems
• Well (and Better) Quasi-Ordered Transition Systems

This page was built for publication: Attributed transition systems with hidden transitions