Robustness in Interaction Systems

DOI10.1007/978-3-540-73196-2_21MaRDI QIDQ3612362zbMATH OpenOpenAlexFDO

Authors Moritz Martens, Mila Majster-Cederbaum

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_21

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Ensuring Properties of Interaction Systems
• An Approach to Modelling and Verification of Component Based Systems
• Composition for component-based modeling
• scientific article; zbMATH DE number 7314999
• Synthesizing robust systems

Cites work

• scientific article; zbMATH DE number 1759635 (Why is no real title available?)
• scientific article; zbMATH DE number 1390331 (Why is no real title available?)
• A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems
• A calculus for modeling software components.
• An Approach to Modelling and Verification of Component Based Systems
• Complexity results for 1-safe nets
• Component-Based Construction of Deadlock-Free Systems
• Composition for component-based modeling
• Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets
• Ensuring Properties of Interaction Systems
• Formal Methods for Components and Objects
• Proving the Correctness of Multiprocess Programs
• Verification, Model Checking, and Abstract Interpretation

Cited in

(3)

• Robustness against inefficient manipulation
• Ensuring Properties of Interaction Systems
• Rigorous development of component-based systems using component metadata and patterns

Describes a project that uses

Uses Software

• PROMETHEUS

This page was built for publication: Robustness in Interaction Systems

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