External and internal choice with event groups in Event-B

DOI10.1007/S00165-012-0239-2zbMATH Open1259.68121DBLPjournals/fac/Butler12OpenAlexW2046494829WikidataQ59625866 ScholiaQ59625866MaRDI QIDQ1941871FDOQ1941871

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Modeling in Event B. System and software engineering.
• On the purpose of Event-B proof obligations
• A state-based approach to communicating processes
• Data refinement of predicate transformers
• Laws of data refinement
• The lattice of data refinement
• Contracts, games, and refinement.

Cited In (2)

• Title not available (Why is that?)
• The behavioural semantics of Event-B refinement

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)