Recovering Repetitive Sub-functions from Observations

DOI10.1007/978-3-540-73196-2_3MaRDI QIDQ3614836zbMATH OpenOpenAlexFDO

Authors Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün

Publication date 10 March 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-73196-2_3

Mathematics Subject Classification ID

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

Recommendations

• Recovering representations of systems with repetitive subfunctions from observations
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Reconstruction of concurrent system models described by decomposed data tables
• Construction of Deadlock-free Designs of Communication Protocols from Observations
• Subsequence Invariants

Cites work

• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• scientific article; zbMATH DE number 801745 (Why is no real title available?)

Cited in

(2)

• Recovering representations of systems with repetitive subfunctions from observations
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

This page was built for publication: Recovering Repetitive Sub-functions from Observations

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