Следене
Richard Banach
Richard Banach
School of Computer Science, University of Manchester
Потвърден имейл адрес: cs.man.ac.uk - Начална страница
Заглавие
Позовавания
Позовавания
Година
Quantum field theory on Clifford-Klein space-times. The effective Lagrangian and vacuum stress-energy tensor
JS Dowker, R Banach
Journal of Physics A: Mathematical and General 11 (11), 2255, 1978
1711978
Retrenchment: An engineering variation on refinement
R Banach, M Poppleton
International Conference of B Users, 129-147, 1998
1161998
Core hybrid Event-B I: single hybrid Event-B machines
R Banach, M Butler, S Qin, N Verma, H Zhu
Science of Computer Programming 105, 92-123, 2015
992015
Automorphic field theory-some mathematical issues
R Banach, JS Dowker
Journal of Physics A: Mathematical and General 12 (12), 2527, 1979
941979
Flagship: a parallel architecture for declarative programming
I Watson, V Woods, P Watson, R Banach, M Greenberg, J Sargeant
ACM SIGARCH Computer Architecture News 16 (2), 124-130, 1988
911988
The vacuum stress tensor for automorphic fields on some flat space-times
R Banach, JS Dowker
Journal of Physics A: Mathematical and General 12 (12), 2545, 1979
751979
Engineering and theoretical underpinnings of retrenchment
R Banach, M Poppleton, C Jeske, S Stepney
Science of Computer Programming 67 (2-3), 301-329, 2007
712007
Sharp retrenchment, modulated refinement and simulation
R Banach, M Poppleton
Formal Aspects of Computing 11, 498-540, 1999
551999
The verification grand challenge.
J Woodcock, R Banach
J. Univers. Comput. Sci. 13 (5), 661-668, 2007
542007
Retrenching partial requirements into system definitions: A simple feature interaction case study
R Banach, M Poppleton
Requirements Engineering 8, 266-288, 2003
472003
Retrenchment, refinement, and simulation
R Banach, M Poppleton
ZB 2000: Formal Specification and Development in Z and B: First …, 2000
462000
Modelling and Refining Hybrid Systems in Event-B and Rodin.
MJ Butler, JR Abrial, R Banach
From Action Systems to Distributed Systems, 29-42, 2016
332016
Retrenching the purse: Finite sequence numbers, and the tower pattern
R Banach, M Poppleton, C Jeske, S Stepney
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
322005
Core hybrid Event-B II: multiple cooperating hybrid Event-B machines
R Banach, M Butler, S Qin, H Zhu
Science of Computer Programming 139, 1-35, 2017
302017
Composition mechanisms for retrenchment
R Banach, C Jeske, M Poppleton
The Journal of Logic and Algebraic Programming 75 (2), 209-229, 2008
302008
Retrenching the purse: The balance enquiry quandary, and generalised and (1, 1) forward refinements
R Banach, C Jeske, M Poppleton, S Stepney
Fundamenta Informaticae 77 (1-2), 29-69, 2007
302007
Maximally abstract retrenchments
R Banach
ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000
272000
Controlling control systems: An application of evolving retrenchment
M Poppleton, R Banach
International Conference of B and Z Users, 42-61, 2002
252002
Hemodialysis machine in hybrid Event-B
R Banach
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016
242016
Term graph rewriting and garbage collection using opfibrations
R Banach
Theoretical Computer Science 131 (1), 29-94, 1994
241994
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20