External and internal choice with event groups in Event-B

DOI10.1007/s00165-012-0239-2zbMath1259.68121OpenAlexW2046494829WikidataQ59625866 ScholiaQ59625866MaRDI QIDQ1941871

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

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

Related Items (1)

The behavioural semantics of Event-B refinement

Uses Software

• Rodin

Cites Work

• Unnamed Item
• Unnamed Item
• On the purpose of Event-B proof obligations
• A state-based approach to communicating processes
• Laws of data refinement
• Data refinement of predicate transformers
• The lattice of data refinement
• Contracts, games, and refinement.

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