The existence of refinement mappings, Theoretical Computer Science, vol.82, issue.2, pp.253-284, 1991. ,
DOI : 10.1016/0304-3975(91)90224-P
Modeling in Event-B: system and software engineering, 2010. ,
DOI : 10.1017/CBO9781139195881
The B-Book: Assigning programs to meanings, 2005. ,
DOI : 10.1017/CBO9780511624162
Rodin: an open toolset for modelling and reasoning in event-b. International journal on software tools for technology transfer, pp.447-466, 2010. ,
A mechanically proved and incremental development of ieee 1394 tree identify protocol. Formal aspects of computing, pp.215-227, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00099531
Refinement, decomposition, and instantiation of discrete models: Application to event-b, Fundamenta Informaticae, vol.77, issue.1, pp.1-28, 2007. ,
Abstraction in Probabilistic Process Algebra, Tools and Algorithms for the Construction and Analysis of Systems, pp.204-219, 2001. ,
DOI : 10.1007/3-540-45319-9_15
Refinement calculus, part II: Parallel and reactive programs, Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness, pp.67-93, 1990. ,
DOI : 10.1007/3-540-52559-9_61
Refinement calculus, part i: Sequential nondeterministic programs, Stepwise refinement of distributed systems models, formalisms, correctness, pp.42-66, 1990. ,
Stepwise refinement of action systems, Mathematics of Program Construction, pp.115-138, 1989. ,
DOI : 10.1007/3-540-51305-1_7
Weak bisimulation for fully probabilistic processes, Computer Aided Verification, pp.119-130, 1997. ,
DOI : 10.1007/3-540-63166-6_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.141.5616
Principles of model checking, volume 26202649, 2008. ,
Relational concurrent refinement part II: Internal operations and outputs, Formal Aspects of Computing, vol.7, issue.4, pp.65-102, 2009. ,
DOI : 10.1007/s00165-007-0066-z
URL : https://hal.archives-ouvertes.fr/hal-00477898
Data refinement: model-oriented proof methods and their comparison, 1998. ,
DOI : 10.1017/CBO9780511663079
Qualitative Probabilistic Modelling in Event-B, Integrated Formal Methods, pp.293-312, 2007. ,
DOI : 10.1007/978-3-540-73210-5_16
Data refinement refined resume, ESOP 86, pp.187-196, 1986. ,
DOI : 10.1007/3-540-16442-1_14
Data refinement refined resume, ESOP 86, pp.187-196, 1986. ,
DOI : 10.1007/3-540-16442-1_14
Computing simulations on finite and infinite graphs, Proceedings of IEEE 36th Annual Foundations of Computer Science, pp.453-462, 1995. ,
DOI : 10.1109/SFCS.1995.492576
The development of a probabilistic B-method and a supporting toolkit, 2005. ,
The development of a probabilistic B-method and a supporting toolkit, 2005. ,
Probabilistic invariants for probabilistic machines, ZB 2003: Formal Specification and Development in Z and B, pp.240-259, 2003. ,
Simulations between specifications of distributed systems, CONCUR'91, pp.346-360, 1991. ,
DOI : 10.1007/3-540-54430-5_99
Specification and refinement of probabilistic processes, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.266-277, 1991. ,
DOI : 10.1109/LICS.1991.151651
Equivalences, congruences, and complete axiomatizations for probabilistic processes, CONCUR'90 Theories of Concurrency: Unification and Extension, pp.367-383, 1990. ,
DOI : 10.1007/BFb0039071
Bisimulation through probabilistic testing (preliminary report), Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.344-352, 1989. ,
Forward and backward simulations. Information and Computation, pp.214-233, 1995. ,
DOI : 10.1006/inco.1996.0060
URL : http://doi.org/10.1006/inco.1996.0060
Abstraction, refinement and proof for probabilistic systems, 2006. ,
Communication and concurrency, 1989. ,
A calculus of communicating systems, 1980. ,
DOI : 10.1007/3-540-10235-3
The Challenge of Probabilistic Event B???Extended Abstract???, ZB 2005: Formal Specification and Development in Z and B, pp.162-171, 2005. ,
DOI : 10.1007/11415787_10
Concurrency and automata on infinite sequences, 1981. ,
DOI : 10.1007/BFb0017309
Weak Bisimulation for Probabilistic Systems, CONCUR 2000?Concurrency Theory, pp.334-349, 2000. ,
DOI : 10.1007/3-540-44618-4_25
Step-wise refinement design example using lotos, pp.255-262, 1990. ,
ASM refinement and generalizations of forward simulation in data refinement: a comparison, Theoretical Computer Science, vol.336, issue.2-3, pp.403-435, 2005. ,
DOI : 10.1016/j.tcs.2004.11.013
Probabilistic simulations for probabilistic processes, Nordic Journal of Computing, vol.2, issue.2, pp.250-273, 1995. ,
Reliability assessment in event-b development . NODES 09, 2009. ,
Towards Probabilistic Modelling in Event-B, Proceedings of the 8th International Conference on Integrated Formal Methods, IFM'10, pp.275-289, 2010. ,
DOI : 10.1007/978-3-540-73210-5_23
URL : https://hal.archives-ouvertes.fr/inria-00524594
Integrating stochastic reasoning into Event-B development, Formal Aspects of Computing, vol.6, issue.3, pp.53-77, 2015. ,
DOI : 10.1007/s00165-014-0305-z
Program development by stepwise refinement, Communications of the ACM, vol.14, issue.4, pp.221-227, 1971. ,
DOI : 10.1145/362575.362577
URL : http://e-collection.library.ethz.ch/eserv/eth:3026/eth-3026-01.pdf
Using Z: Specification, Refinement, and Proof, 1996. ,
Tool support for qualitative reasoning in Event-B, 2010. ,