External and internal choice with event groups in Event-B

DOI10.1007/S00165-012-0239-2MaRDI QIDQ1941871zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Yanyan Li

Publication date 22 March 2013

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

Full work available at URL https://eprints.soton.ac.uk/341169/1/twochoice.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• The behavioural semantics of Event-B refinement
• scientific article; zbMATH DE number 2227867
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Introducing extra operations in refinement
• Qualitative Probabilistic Modelling in Event-B

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• A state-based approach to communicating processes
• Contracts, games, and refinement.
• Data refinement of predicate transformers
• Laws of data refinement
• Modeling in Event B. System and software engineering.
• On the purpose of Event-B proof obligations
• The lattice of data refinement

Cited in

(2)

• scientific article; zbMATH DE number 2227867 (Why is no real title available?)
• The behavioural semantics of Event-B refinement

Describes a project that uses

Uses Software

• Rodin

This page was built for publication: External and internal choice with event groups in Event-B

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