Interaction abstraction for compositional finite state systems

DOI10.1007/10722468_9MaRDI QIDQ2753758zbMATH OpenFDO

Authors Wayne Liu

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722468_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Compositional minimisation of finite state systems using interface specifications
• Compositional minimization of finite state systems
• A survey on compositional algorithms for verification and synthesis in supervisory control
• scientific article; zbMATH DE number 177239
• Refined Interfaces for Compositional Verification

Cited in

(3)

• Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
• Deriving State-Based Implementations of Interactive Components with History Abstractions
• scientific article; zbMATH DE number 860037 (Why is no real title available?)

This page was built for publication: Interaction abstraction for compositional finite state systems

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