The Least Conjunctive Refinement and Promotion in the Refinement Calculus

Brendan P. Mahony

doi:10.1007/s001650050037

The Least Conjunctive Refinement and Promotion in the Refinement Calculus

Formal Aspects of Computing ◽

10.1007/s001650050037 ◽

1999 ◽

Vol 11 (1) ◽

pp. 75-105 ◽

Cited By ~ 6

Author(s):

Brendan P. Mahony

Keyword(s):

Refinement Calculus

Download Full-text

Refinement Calculus

Data Refinement ◽

10.1017/cbo9780511663079.011 ◽

1998 ◽

pp. 194-235

Keyword(s):

Refinement Calculus

Download Full-text

Interpreting the B-Method in the Refinement Calculus

FM’99 — Formal Methods - Lecture Notes in Computer Science ◽

10.1007/3-540-48119-2_24 ◽

1999 ◽

pp. 411-430 ◽

Cited By ~ 5

Author(s):

Yann Rouzaud

Keyword(s):

Refinement Calculus ◽

B Method

Download Full-text

The RPC-memory specification problem: UNITY + refinement calculus

Formal Systems Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0024440 ◽

1996 ◽

pp. 521-540 ◽

Cited By ~ 1

Author(s):

Rob T. Udink ◽

Joost N. Kok

Keyword(s):

Refinement Calculus

Download Full-text

Refinement calculus, part I: Sequential nondeterministic programs

Lecture Notes in Computer Science - Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness ◽

10.1007/3-540-52559-9_60 ◽

1990 ◽

pp. 42-66 ◽

Cited By ~ 44

Author(s):

R. J. R. Back ◽

J. Wright

Keyword(s):

Refinement Calculus

Download Full-text

rCOS: A Refinement Calculus of Internetware Systems

Internetware ◽

10.1007/978-981-10-2546-4_14 ◽

2016 ◽

pp. 301-333

Author(s):

Hong Mei ◽

Jian Lü

Keyword(s):

Refinement Calculus

Download Full-text

Tool support for the refinement calculus

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/24 ◽

1991 ◽

pp. 381-394

Author(s):

D. Carrington ◽

K. Robinson

Keyword(s):

Tool Support ◽

Refinement Calculus

Download Full-text

Exploring summation and product operators in the refinement calculus

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/3-540-60117-1_8 ◽

1995 ◽

pp. 128-158 ◽

Cited By ~ 9

Author(s):

Ralph-Johan Back ◽

Michael Butler

Keyword(s):

Refinement Calculus

Download Full-text

The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming

Application and Theory of Petri Nets 2002 - Lecture Notes in Computer Science ◽

10.1007/3-540-48068-4_3 ◽

2002 ◽

pp. 44-58 ◽

Cited By ~ 3

Author(s):

Ian J. Hayes

Keyword(s):

Real Time ◽

Refinement Calculus ◽

The Real

Download Full-text

A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics

2019 13th International Conference on Research Challenges in Information Science (RCIS) ◽

10.1109/rcis.2019.8877009 ◽

2019 ◽

Author(s):

John Mylopoulos

Keyword(s):

Requirements Engineering ◽

Refinement Calculus

Download Full-text

A practical approach to software engineering using Z and the refinement calculus

ACM SIGSOFT Software Engineering Notes ◽

10.1145/167049.167068 ◽

1993 ◽

Vol 18 (5) ◽

pp. 79-88 ◽

Cited By ~ 3

Author(s):

Kenneth R. Wood

Keyword(s):

Software Engineering ◽

Practical Approach ◽

Refinement Calculus

Download Full-text