( en | de | ru )

 

Disambiguation of "Morgan, Carroll"

Author of the publication

copydeleteadd this publication to your clipboard
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).

, and . Sci. Comput. Program., (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mary Carroll

Rebecca Carroll

John Carroll

Joseph Carroll

Morgan Chopin

 

Other publications of authors with the same name

Exits in the refinement calculus, and . Formal Aspects of Computing, V7 (1): 54--76 (January 1995)A single complete rule for data refinement, and . Formal Aspects of Computing, 5 (4): 367--382 (July 1993)Abstraction, Refinement and Proof for Probabilistic Systems, and . Monographs in Computer Science Springer, (2005)An Iterator Construct for the Refinement Calculus., and . IWFM, BCS, (2000)Elementary Probability Theory in the Eindhoven Style.. MPC, volume 7342 of Lecture Notes in Computer Science, page 48-73. Springer, (2012)The Shadow Knows: Refinement of Ignorance in Sequential Programs.. MPC, volume 4014 of Lecture Notes in Computer Science, page 359-378. Springer, (2006)Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation., and . RODIN Book, volume 4157 of Lecture Notes in Computer Science, page 288-305. Springer, (2006)(In-)Formal Methods: The Lost Art - A Users' Manual.. SETSS, volume 9506 of Lecture Notes in Computer Science, page 1-79. Springer, (2014)How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk)., , and . CSL, volume 216 of LIPIcs, page 2:1-2:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Abstract Channels and Their Robust Information-Leakage Ordering., , , , and . POST, volume 8414 of Lecture Notes in Computer Science, page 83-102. Springer, (2014)