Jeff W. Sanders

Jeff W. Sanders, Graeme Smith: Emergence and refinement. Formal Asp. Comput. 24(1): 45-65 (2012)

Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin: Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebr. Program. 81(1): 2-25 (2012)

Graeme Smith, Jeffrey W. Sanders, Kirsten Winter: Reasoning About Adaptivity of Agents and Multi-agent Systems. ICECCS 2012: 341-350

Graeme Smith, Jeff W. Sanders: Using conventional reasoning techniques for self-organising systems. PST 2012: 238-243

Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin: Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP 2012: 224-247

Yifeng Chen, Jeff W. Sanders: Abstraction of Object Graphs in Program Verification. MPC 2010: 80-99

Jeff W. Sanders, Graeme Smith: Assuring Adaptive Behaviour in Self-Organising Systems. SASO Workshops 2010: 172-177

Yifeng Chen, Jeff W. Sanders: UTP and Sustainability. UTP 2010: 46-73

T. M. Rabehaja, Jeff W. Sanders: Data Refinement with Probability in Mind. Electr. Notes Theor. Comput. Sci. 259: 165-176 (2009)

Jeff W. Sanders, Graeme Smith: Refining Emergent Properties. Electr. Notes Theor. Comput. Sci. 259: 207-223 (2009)

Graeme Smith, Jeffrey W. Sanders: Formal Development of Self-organising Systems. ATC 2009: 90-104

Ukachukwu Ndukwu, Jeff W. Sanders: Reasoning about a Distributed Probabilistic System. CATS 2009: 35-42

Yifeng Chen, Jeff W. Sanders: Unifying Probability with Nondeterminism. FM 2009: 467-482

Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders: Modelling and Verification of Web Navigation. ICWE 2009: 181-188

Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders: Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. SEW 2009: 104-114

T. M. Rabehaja, Jeff W. Sanders: Refinement Algebra with Explicit Probabilism. TASE 2009: 63-70

Ingrid Rewitzky, Jeff W. Sanders: Involutions on Relational Program Calculi. Sci. Ann. Comp. Sci. 18: 129-171 (2008)

Jeffrey W. Sanders, Graeme Smith: Formal Ensemble Engineering. Software-Intensive Systems and New Computing Paradigms 2008: 132-138

Chris George, Padmanabhan Krishnan, Percy Antonio Pari Salas, Jeff W. Sanders: Specification for Testing. Formal Methods and Hybrid Real-Time Systems 2007: 280-299

Jeff W. Sanders, Matteo Turilli: Dynamics of Control. TASE 2007: 440-449

Jeff W. Sanders: Computations and Relational Bundles. RelMiCS 2006: 30-62

Yifeng Chen, Jeff W. Sanders: Compositional Reasoning for Pointer Structures. MPC 2006: 115-139

Jifeng He, Jeff W. Sanders: Unifying Probability. UTP 2006: 173-199

Yifeng Chen, Jeff W. Sanders: The weakest specifunction. Acta Inf. 41(7-8): 383-414 (2005)

Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (Eds.): Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers. Lecture Notes in Computer Science 3525, Springer 2005, isbn 3-540-25813-2

Yifeng Chen, Jeff W. Sanders: Logic of global synchrony. ACM Trans. Program. Lang. Syst. 26(2): 221-262 (2004)

Florian Kammüller, Jeff W. Sanders: Idempotent Relations in Isabelle/HOL. ICTAC 2004: 310-324

Florian Kammüller, Jeff W. Sanders: Heuristics for Refinement Relations. SEFM 2004: 292-299

Yifeng Chen, Jeff W. Sanders: Top-Down Design of Bulk-Synchronous Parallel Programs. Parallel Processing Letters 13(3): 389-400 (2003)

Jochen Burghardt, Florian Kammüller, Jeff W. Sanders: On the antisymmetry of Galois embeddings. Inf. Process. Lett. 79(2): 57-63 (2001)

Yifeng Chen, Jeff W. Sanders: Weakest Specifunctions for BSP. Parallel Processing Letters 11(4): 439-454 (2001)

Yifeng Chen, Jeff W. Sanders: Logic of Global Synchrony. CONCUR 2001: 487-501

Jeff W. Sanders, Paolo Zuliani: Quantum Programming. MPC 2000: 80-99

Luming Lai, Jeff W. Sanders: A Refinement Calculus for Communicating Processes with State. IWFM 1997

Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders: Refinement-Oriented Probability for CSP. Formal Asp. Comput. 8(6): 617-647 (1996)

Ian J. Hayes, Jeff W. Sanders: Specification by Interface Separation. Formal Asp. Comput. 7(4): 430-439 (1995)

Karen Paliwoda, Jeff W. Sanders: An Incremental Specification of the Sliding-Window Protocol. Distributed Computing 5: 83-94 (1991)

John Graham-Cumming, Jeff W. Sanders: On the Refinement of Non-Interference. CSFW 1991: 35-42

Christian Lengauer, Jeff W. Sanders: The Projection of Systolic Programs. Formal Asp. Comput. 2(3): 273-293 (1990)

Jeff W. Sanders: A Hierarchical Approach to Hardware Design. Concurrency: Theory, Language, And Architecture 1989: 282-296

Christian Lengauer, Jeff W. Sanders: The Projection of Systolic Programs. MPC 1989: 307-324

C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin: Laws of Programming. Commun. ACM 30(8): 672-686 (1987)

C. A. R. Hoare, Jifeng He, Jeff W. Sanders: Prespecification in Data Refinement. Inf. Process. Lett. 25(2): 71-76 (1987)

Jifeng He, C. A. R. Hoare, Jeff W. Sanders: Data Refinement Refined. ESOP 1986: 187-196