Retrenchment

被引：0
|
作者：
Banach, R
Poppleton, M
机构：
[1] Univ Manchester, Dept Comp Sci, Manchester M13 9PL, Lancs, England
[2] Coventry Univ, Sch Math & Inf Sci, Coventry CV1 5FB, W Midlands, England
来源：
FM'99-FORMAL METHODS, VOL II | 1999年 / 1709卷
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：1864 / 1865
页数：2
相关论文
共 50 条
  • [21] Procedural Retrenchment and the States
    Clopton, Zachary D.
    CALIFORNIA LAW REVIEW, 2018, 106 (02) : 411 - 480
  • [22] RETRENCHMENT AT CITY HALL
    ARMSTRONG, JL
    CANADIAN PUBLIC ADMINISTRATION-ADMINISTRATION PUBLIQUE DU CANADA, 1986, 29 (04): : 542 - 544
  • [23] ISRAEL - A TIME OF RETRENCHMENT
    DOWTY, A
    CURRENT HISTORY, 1984, 83 (489): : 13 - &
  • [24] Retrenchment and the atomicity pattern
    Banach, Richard
    Jeske, Czeslaw
    Hall, Anthony
    Stepney, Susan
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 37 - +
  • [25] Composition mechanisms for retrenchment
    Banach, R.
    Jeske, C.
    Poppleton, A.
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 75 (02): : 209 - 229
  • [26] RETRENCHMENT, LAYOFF, AND TERMINATION
    FURNISS, WT
    EDUCATIONAL RECORD, 1974, 55 (03): : 159 - 170
  • [27] CHINA ECONOMY IN RETRENCHMENT
    CHENG, CY
    CURRENT HISTORY, 1990, 89 (548): : 253 - &
  • [28] RETRENCHMENT - CRISIS OR CHALLENGE
    DEUTSCH, JM
    EDUCATIONAL RECORD, 1983, 64 (01): : 41 - 44
  • [29] REDUCING THE PAIN OF RETRENCHMENT
    POWERS, DR
    EDUCATIONAL RECORD, 1982, 63 (03): : 8 - 12
  • [30] TURNAROUND - RETRENCHMENT AND RECOVERY
    ROBBINS, DK
    PEARCE, JA
    STRATEGIC MANAGEMENT JOURNAL, 1992, 13 (04) : 287 - 309
12345