×

zbMATH — the first resource for mathematics

Morgan, Carroll C.

Compute Distance To:
Author ID: morgan.carroll-c Recent zbMATH articles by "Morgan, Carroll C."
Published as: Morgan, Carroll; Morgan, C. C.; Morgan, C.; Morgan, Carroll C.
Homepage: https://research.unsw.edu.au/people/professor-carroll-morgan
External Links: Wikidata · dblp · GND · IdRef
Documents Indexed: 77 Publications since 1979, including 8 Books

Publications by Year

Citations contained in zbMATH Open

60 Publications have been cited 583 times in 379 Documents Cited by Year
Programming from specifications. 2nd ed. Zbl 0829.68083
Morgan, Carroll
77
1994
Laws of programming. Zbl 0629.68006
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
56
1987
Programming from specifications. Zbl 0697.68018
Morgan, Carroll
51
1990
Abstraction, refinement and proof for probabilistic systems. Zbl 1069.68039
McIver, Annabelle; Morgan, Carroll
44
2005
The specification statement. Zbl 0825.68302
Morgan, Carroll
32
1988
Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035
Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C.
30
2008
Data refinement by calculation. Zbl 0699.68029
Morgan, Carroll; Gardiner, P. H. B.
20
1990
Testing finitary probabilistic processes (extended abstract). Zbl 1254.68166
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
19
2009
Refinement-oriented probability for CSP. Zbl 0862.68050
Morgan, Carroll; McIver, Annabelle; Seidel, Karen; Sanders, J. W.
17
1996
Data refinement of predicate transformers. Zbl 0736.68060
Gardiner, Paul; Morgan, Carroll
17
1991
A single complete rule for data refinement. Zbl 0774.68081
Gardiner, P. H. B.; Morgan, Carroll
16
1993
Partial correctness for probabilistic demonic programs. Zbl 0992.68137
McIver, A. K.; Morgan, C.
15
2001
The shadow knows: refinement of ignorance in sequential programs. Zbl 1235.68058
Morgan, Carroll
13
2006
The shadow knows: refinement and security in sequential programs. Zbl 1178.68166
Morgan, Carroll
12
2009
Probabilistic guarded commands mechanized in HOL. Zbl 1080.68063
Hurd, Joe; McIver, Annabelle; Morgan, Carroll
10
2005
Compositional closure for Bayes risk in probabilistic noninterference. Zbl 1288.68024
McIver, Annabelle; Meinicke, Larissa; Morgan, Carroll
10
2010
Demonic, angelic and unbounded probabilistic choices in sequential programs. Zbl 0971.68027
McIver, A. K.; Morgan, C.
9
2001
Specification of the UNIX filing system. Zbl 0532.68031
Morgan, Carroll; Sufrin, Bernard
9
1984
Remarks on testing probabilistic processes. Zbl 1277.68121
Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi
9
2007
Using probabilistic Kleene algebra for protocol verification. Zbl 1134.68415
McIver, A. K.; Cohen, E.; Morgan, C. C.
7
2006
Games, probability, and the quantitative \(\mu\)-calculus \(qM\mu\). Zbl 1023.68064
McIver, A. K.; Morgan, C. C.
7
2002
An elementary proof that Herman’s ring is \(\Theta (N^{2})\). Zbl 1182.68358
McIver, Annabelle; Morgan, Carroll
7
2005
Scalar outcomes suffice for finitary probabilistic testing. Zbl 1187.68148
Deng, Yuxin; van Glabbeek, Rob; Morgan, Carroll; Zhang, Chenyi
7
2007
Using probabilistic Kleene algebra pKA for protocol verification. Zbl 1148.68034
McIver, A. K.; Gonzalia, C.; Cohen, E.; Morgan, C. C.
6
2008
Linear-invariant generation for probabilistic programs: automated support for proof-based methods. Zbl 1239.68020
Katoen, Joost-Pieter; McIver, Annabelle K.; Meinicke, Larissa A.; Morgan, Carroll C.
6
2010
Auxiliary variables in data refinement. Zbl 0662.68014
Morgan, Carroll
5
1988
Abstract hidden Markov models: a monadic account of quantitative information flow. Zbl 1401.68046
McIver, Annabelle; Morgan, Carroll; Rabehaja, Tahiry
4
2015
Probabilistic guarded commands mechanized in HOL. Zbl 1272.68258
Hurd, Joe; McIver, Annabelle; Morgan, Carroll
4
2005
Hidden-Markov program algebra with iteration. Zbl 1362.68052
McIver, Annabelle; Meinicke, Larissa; Morgan, Carroll
4
2015
A probabilistic temporal calculus based on expectations. Zbl 0885.03037
Morgan, Carroll; McIver, Annabelle
3
1997
Unifying wp and wlp. Zbl 0875.68625
Morgan, Carroll; McIver, Annabelle
3
1996
Multiset and set decipherable codes. Zbl 0989.94034
Blanchet-Sadri, F.; Morgan, C.
3
2001
Procedures, parameters, and abstraction: Separate concerns. Zbl 0661.68009
Morgan, Carroll
3
1988
Characterizations of \({\mathcal F}\)-fibrations. Zbl 0542.55014
Morgan, C.
3
1983
Of probabilistic wp and CSP – and compositionality. Zbl 1081.68651
Morgan, Carroll
3
2005
Types and invariants in the refinement calculus. Zbl 0705.68076
Morgan, Carroll; Vickers, Trevor
3
1990
Probabilistic invariants for probabilistic machines. Zbl 1028.68547
Hoang, Thai Son; Jin, Zhendong; Robinson, Ken; McIver, Annabelle; Morgan, Carroll
3
2003
Compositional noninterference from first principles. Zbl 1242.68071
Morgan, Carroll
3
2012
Results on the quantitative \(\mu\)-calculus \(qM\mu\). Zbl 1367.68199
McIver, Annabelle; Morgan, Carroll
3
2007
Probabilistic imperative programming: A rigorous approach (extended abstract). Zbl 0885.68032
Seidel, Karen; Morgan, Carroll; McIver, Annabelle
2
1997
Almost-certain eventualities and abstract probabilities in the temporal logic PTL. Zbl 0972.03016
McIver, A.; Morgan, C.
2
2001
Hierarchical reasoning in probabilistic CSP. Zbl 0972.68518
Seidel, K.; Morgan, C.
2
1997
On the refinement calculus. 2nd printing. Zbl 0808.68030
Morgan, Carroll (ed.); Vickers, Trevor (ed.)
2
1994
The probabilistic steam boiler: A case study in probabilistic data refinement. Zbl 0924.68022
McIver, Annabelle; Morgan, Carroll; Troubitsyna, Elena
2
1998
Corrigendum to “Laws of programming”. Zbl 0653.68002
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
2
1987
Compositional refinement in agent-based security protocols. Zbl 1245.68065
McIver, A. K.; Morgan, C. C.
2
2011
The thousand-and-one cryptographers. Zbl 1209.68231
Mciver, A. K.; Morgan, C. C.
2
2010
A Kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism. Zbl 1362.68161
McIver, Annabelle; Meinicke, Larissa; Morgan, Carroll
2
2012
An expectation-transformer model for probabilistic temporal logic. Zbl 1073.68679
Morgan, Carroll; McIver, Annabelle K.
1
1999
Elementary probability theory in the Eindhoven style. Zbl 1358.68074
Morgan, Carroll
1
2012
Real-reward testing for probabilistic processes. Zbl 1359.68218
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
1
2014
Abstract channels and their robust information-leakage ordering. Zbl 1461.68081
McIver, Annabelle; Morgan, Carroll; Smith, Geoffrey; Espinoza, Barbara; Meinicke, Larissa
1
2014
Abstractions of non-interference security: probabilistic versus possibilistic. Zbl 1323.68212
Hoang, T. S.; McIver, A. K.; Meinicke, L.; Morgan, C. C.; Sloane, A.; Susatyo, E.
1
2014
Action systems, unbounded nondeterminism, and infinite traces. Zbl 0939.68635
Butler, Michael; Morgan, Carroll
1
1995
Exits in the refinement calculus. Zbl 0817.68040
King, Steve; Morgan, Carroll
1
1995
Specification statements and refinement. Zbl 0629.68007
Morgan, Carroll; Robinson, Ken
1
1987
An axiomatization of information flow measures. Zbl 1423.68159
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
1
2019
Algebra for quantitative information flow. Zbl 06750812
McIver, A. K.; Morgan, C. C.; Rabehaja, T.
1
2017
How to brew-up a refinement ordering. Zbl 1342.68094
Morgan, Carroll
1
2009
Proof of OS scheduling behavior in the presence of interrupt-induced concurrency. Zbl 06644736
Andronick, June; Lewis, Corey; Matichuk, Daniel; Morgan, Carroll; Rizkallah, Christine
1
2016
An axiomatization of information flow measures. Zbl 1423.68159
Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
1
2019
Algebra for quantitative information flow. Zbl 06750812
McIver, A. K.; Morgan, C. C.; Rabehaja, T.
1
2017
Proof of OS scheduling behavior in the presence of interrupt-induced concurrency. Zbl 06644736
Andronick, June; Lewis, Corey; Matichuk, Daniel; Morgan, Carroll; Rizkallah, Christine
1
2016
Abstract hidden Markov models: a monadic account of quantitative information flow. Zbl 1401.68046
McIver, Annabelle; Morgan, Carroll; Rabehaja, Tahiry
4
2015
Hidden-Markov program algebra with iteration. Zbl 1362.68052
McIver, Annabelle; Meinicke, Larissa; Morgan, Carroll
4
2015
Real-reward testing for probabilistic processes. Zbl 1359.68218
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
1
2014
Abstract channels and their robust information-leakage ordering. Zbl 1461.68081
McIver, Annabelle; Morgan, Carroll; Smith, Geoffrey; Espinoza, Barbara; Meinicke, Larissa
1
2014
Abstractions of non-interference security: probabilistic versus possibilistic. Zbl 1323.68212
Hoang, T. S.; McIver, A. K.; Meinicke, L.; Morgan, C. C.; Sloane, A.; Susatyo, E.
1
2014
Compositional noninterference from first principles. Zbl 1242.68071
Morgan, Carroll
3
2012
A Kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism. Zbl 1362.68161
McIver, Annabelle; Meinicke, Larissa; Morgan, Carroll
2
2012
Elementary probability theory in the Eindhoven style. Zbl 1358.68074
Morgan, Carroll
1
2012
Compositional refinement in agent-based security protocols. Zbl 1245.68065
McIver, A. K.; Morgan, C. C.
2
2011
Compositional closure for Bayes risk in probabilistic noninterference. Zbl 1288.68024
McIver, Annabelle; Meinicke, Larissa; Morgan, Carroll
10
2010
Linear-invariant generation for probabilistic programs: automated support for proof-based methods. Zbl 1239.68020
Katoen, Joost-Pieter; McIver, Annabelle K.; Meinicke, Larissa A.; Morgan, Carroll C.
6
2010
The thousand-and-one cryptographers. Zbl 1209.68231
Mciver, A. K.; Morgan, C. C.
2
2010
Testing finitary probabilistic processes (extended abstract). Zbl 1254.68166
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
19
2009
The shadow knows: refinement and security in sequential programs. Zbl 1178.68166
Morgan, Carroll
12
2009
How to brew-up a refinement ordering. Zbl 1342.68094
Morgan, Carroll
1
2009
Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035
Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C.
30
2008
Using probabilistic Kleene algebra pKA for protocol verification. Zbl 1148.68034
McIver, A. K.; Gonzalia, C.; Cohen, E.; Morgan, C. C.
6
2008
Remarks on testing probabilistic processes. Zbl 1277.68121
Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi
9
2007
Scalar outcomes suffice for finitary probabilistic testing. Zbl 1187.68148
Deng, Yuxin; van Glabbeek, Rob; Morgan, Carroll; Zhang, Chenyi
7
2007
Results on the quantitative \(\mu\)-calculus \(qM\mu\). Zbl 1367.68199
McIver, Annabelle; Morgan, Carroll
3
2007
The shadow knows: refinement of ignorance in sequential programs. Zbl 1235.68058
Morgan, Carroll
13
2006
Using probabilistic Kleene algebra for protocol verification. Zbl 1134.68415
McIver, A. K.; Cohen, E.; Morgan, C. C.
7
2006
Abstraction, refinement and proof for probabilistic systems. Zbl 1069.68039
McIver, Annabelle; Morgan, Carroll
44
2005
Probabilistic guarded commands mechanized in HOL. Zbl 1080.68063
Hurd, Joe; McIver, Annabelle; Morgan, Carroll
10
2005
An elementary proof that Herman’s ring is \(\Theta (N^{2})\). Zbl 1182.68358
McIver, Annabelle; Morgan, Carroll
7
2005
Probabilistic guarded commands mechanized in HOL. Zbl 1272.68258
Hurd, Joe; McIver, Annabelle; Morgan, Carroll
4
2005
Of probabilistic wp and CSP – and compositionality. Zbl 1081.68651
Morgan, Carroll
3
2005
Probabilistic invariants for probabilistic machines. Zbl 1028.68547
Hoang, Thai Son; Jin, Zhendong; Robinson, Ken; McIver, Annabelle; Morgan, Carroll
3
2003
Games, probability, and the quantitative \(\mu\)-calculus \(qM\mu\). Zbl 1023.68064
McIver, A. K.; Morgan, C. C.
7
2002
Partial correctness for probabilistic demonic programs. Zbl 0992.68137
McIver, A. K.; Morgan, C.
15
2001
Demonic, angelic and unbounded probabilistic choices in sequential programs. Zbl 0971.68027
McIver, A. K.; Morgan, C.
9
2001
Multiset and set decipherable codes. Zbl 0989.94034
Blanchet-Sadri, F.; Morgan, C.
3
2001
Almost-certain eventualities and abstract probabilities in the temporal logic PTL. Zbl 0972.03016
McIver, A.; Morgan, C.
2
2001
An expectation-transformer model for probabilistic temporal logic. Zbl 1073.68679
Morgan, Carroll; McIver, Annabelle K.
1
1999
The probabilistic steam boiler: A case study in probabilistic data refinement. Zbl 0924.68022
McIver, Annabelle; Morgan, Carroll; Troubitsyna, Elena
2
1998
A probabilistic temporal calculus based on expectations. Zbl 0885.03037
Morgan, Carroll; McIver, Annabelle
3
1997
Probabilistic imperative programming: A rigorous approach (extended abstract). Zbl 0885.68032
Seidel, Karen; Morgan, Carroll; McIver, Annabelle
2
1997
Hierarchical reasoning in probabilistic CSP. Zbl 0972.68518
Seidel, K.; Morgan, C.
2
1997
Refinement-oriented probability for CSP. Zbl 0862.68050
Morgan, Carroll; McIver, Annabelle; Seidel, Karen; Sanders, J. W.
17
1996
Unifying wp and wlp. Zbl 0875.68625
Morgan, Carroll; McIver, Annabelle
3
1996
Action systems, unbounded nondeterminism, and infinite traces. Zbl 0939.68635
Butler, Michael; Morgan, Carroll
1
1995
Exits in the refinement calculus. Zbl 0817.68040
King, Steve; Morgan, Carroll
1
1995
Programming from specifications. 2nd ed. Zbl 0829.68083
Morgan, Carroll
77
1994
On the refinement calculus. 2nd printing. Zbl 0808.68030
Morgan, Carroll; Vickers, Trevor
2
1994
A single complete rule for data refinement. Zbl 0774.68081
Gardiner, P. H. B.; Morgan, Carroll
16
1993
Data refinement of predicate transformers. Zbl 0736.68060
Gardiner, Paul; Morgan, Carroll
17
1991
Programming from specifications. Zbl 0697.68018
Morgan, Carroll
51
1990
Data refinement by calculation. Zbl 0699.68029
Morgan, Carroll; Gardiner, P. H. B.
20
1990
Types and invariants in the refinement calculus. Zbl 0705.68076
Morgan, Carroll; Vickers, Trevor
3
1990
The specification statement. Zbl 0825.68302
Morgan, Carroll
32
1988
Auxiliary variables in data refinement. Zbl 0662.68014
Morgan, Carroll
5
1988
Procedures, parameters, and abstraction: Separate concerns. Zbl 0661.68009
Morgan, Carroll
3
1988
Laws of programming. Zbl 0629.68006
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
56
1987
Corrigendum to “Laws of programming”. Zbl 0653.68002
Hoare, C. A. R.; Hayes, I. J.; He, Jifeng; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
2
1987
Specification statements and refinement. Zbl 0629.68007
Morgan, Carroll; Robinson, Ken
1
1987
Specification of the UNIX filing system. Zbl 0532.68031
Morgan, Carroll; Sufrin, Bernard
9
1984
Characterizations of \({\mathcal F}\)-fibrations. Zbl 0542.55014
Morgan, C.
3
1983
all top 5

Cited by 457 Authors

21 Morgan, Carroll C.
20 Cavalcanti, Ana
14 McIver, Annabelle K.
13 Woodcock, James C. P.
11 Hayes, Ian J.
11 Hoare, C. A. R. Tony
10 Colvin, Robert J.
10 Tini, Simone
9 Bergstra, Jan A.
9 Deng, Yuxin
9 Ponse, Alban
8 He, Jifeng
7 Struth, Georg
7 Zeyda, Frank
7 Zhu, Huibiao
6 Back, Ralph-Johan
6 Hesselink, Wim H.
6 Katoen, Joost-Pieter
6 Meinicke, Larissa A.
6 Naumann, David A.
6 Zhang, Lijun
5 Hennessy, Matthew C. B.
5 Keimel, Klaus
5 Lanotte, Ruggero
5 Qin, Shengchao
5 Sampaio, Augusto C. A.
5 van Glabbeek, Robert Jan
4 Castiglioni, Valentina
4 Chen, Yifeng
4 Feng, Yuan
4 Gardiner, Paul H. B.
4 Hasan, Osman
4 Jacobs, Bart
4 Kaminski, Benjamin Lucien
4 Kwiatkowska, Marta Z.
4 Leino, K. Rustan M.
4 Liu, Zhiming
4 Loreti, Michele
4 Merro, Massimo
4 Möller, Bernhard
4 Oliveira, Marcel
4 Rabehaja, Tahiry M.
4 Tahar, Sofiène
3 Alvim, Mário S.
3 Bernardo, Marco
3 Chatterjee, Krishnendu
3 Chatzikokolakis, Konstantinos
3 D’Argenio, Pedro Rubén
3 de Alfaro, Luca
3 De Nicola, Rocco
3 Fidge, Colin J.
3 Foster, Simon
3 Gebler, Daniel E.
3 Hallerstede, Stefan
3 Henzinger, Thomas A.
3 Hoang, Thai Son
3 Hölzl, Johannes
3 Jifeng, He
3 Kiefer, Stefan
3 Legay, Axel
3 Lermer, Karl
3 Ma, Yanfang
3 Majumdar, Rupak
3 Murawski, Andrzej S.
3 Olderog, Ernst-Rüdiger
3 Oliveira, José Nuno
3 Olmedo, Federico
3 Ouaknine, Joel O.
3 Palamidessi, Catuscia
3 Ranzato, Francesco
3 Sanders, Jeff W.
3 Scholefield, David
3 Sere, Kaisa
3 Silva, Alexandra
3 Smith, Graeme
3 Sokolova, Ana
3 Solin, Kim
3 van der Meyden, Ron
3 van Staden, Stephan
3 von Wright, Joakim
3 Wei, Kun
3 Worrell, James B.
3 Xie, Wanling
2 Andova, Suzana
2 Baeten, Jos C. M.
2 Baier, Christel
2 Böhme, Sascha
2 Borba, Paulo
2 Cazorla, Diego
2 Chaudhari, Dipak L.
2 Cornélio, Márcio
2 Crafa, Silvia
2 Cuartero, Fernando
2 Damani, Om P.
2 De Oliveira, Diego Caminha B.
2 Déharbe, David
2 Demri, Stéphane P.
2 Deutsch, Moshe
2 Dunne, Steve E.
2 Fischer, Diana
...and 357 more Authors
all top 5

Cited in 44 Serials

88 Formal Aspects of Computing
51 Theoretical Computer Science
21 Information Processing Letters
14 Acta Informatica
13 Information and Computation
12 Science of Computer Programming
12 The Journal of Logic and Algebraic Programming
11 Journal of Logical and Algebraic Methods in Programming
9 MSCS. Mathematical Structures in Computer Science
7 Logical Methods in Computer Science
6 Journal of Computer and System Sciences
5 Journal of Computer Science and Technology
5 Formal Methods in System Design
4 Journal of Automated Reasoning
2 Information Sciences
2 Annals of Pure and Applied Logic
2 Distributed Computing
2 Cybernetics and Systems Analysis
2 Annals of Mathematics and Artificial Intelligence
1 ACM Computing Surveys
1 Mathematical Methods in the Applied Sciences
1 Fuzzy Sets and Systems
1 Journal of Soviet Mathematics
1 Notre Dame Journal of Formal Logic
1 Semigroup Forum
1 Topology and its Applications
1 Real-Time Systems
1 Journal of Applied Non-Classical Logics
1
1 Journal of Functional Programming
1 Mathematical Problems in Engineering
1 Theory of Computing Systems
1 Soft Computing
1 Journal of Combinatorial Optimization
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Higher-Order and Symbolic Computation
1 International Journal of Applied Mathematics and Computer Science
1 Theory and Practice of Logic Programming
1 Sādhanā
1 ACM Transactions on Computational Logic
1 Journal of Shanghai Jiaotong University (Science)
1 Discrete and Continuous Dynamical Systems. Series S
1 Frontiers of Computer Science in China
1 Frontiers of Computer Science

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.