Attributed transition systems with hidden transitions

DOI10.1007/S10559-017-9954-2MaRDI QIDQ1709456zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Analysis of the structure of attributed transition systems without hidden transitions
• Deriving labelled transition systems -- a structural approach
• Mixed Transition Systems Revisited
• Transition systems, event structures, and unfoldings
• scientific article; zbMATH DE number 1292294
• Transition systems from event structures revisited
• Encoding transition systems in sequent calculus
• scientific article; zbMATH DE number 1203022
• Unfolding Concurrent Well-Structured Transition Systems

Cites work

• scientific article; zbMATH DE number 3427224 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 1179517 (Why is no real title available?)
• Analysis of the structure of attributed transition systems without hidden transitions
• Handbook of process algebra
• Systems specification by basic protocols
• The power of well-structured systems
• Well (and better) quasi-ordered transition systems

Cited in

(1)

• Analysis of the structure of attributed transition systems without hidden transitions

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

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