ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close