Refinement patterns for ASTDs

DOI10.1007/s00165-013-0286-3zbMath1342.68182OpenAlexW1990781920MaRDI QIDQ736838

Jérémy Milhau, Frédéric Gervais, Marc Frappier, Régine Laleau

Publication date: 5 August 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-013-0286-3

zbMATH Keywords

information systemsrefinementpatternsASTD

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Uses Software

• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Statecharts: a visual formalism for complex systems
• Universal coalgebra: A theory of systems
• Refinement Patterns for Hierarchical UML State Machines
• Distributed cooperation with action systems
• The B-Book
• Experimenting Formal Proofs of Petri Nets Refinements

This page was built for publication: Refinement patterns for ASTDs