Singular and plural nondeterministic parameters

被引：2
作者：
Walicki, M
Meldal, S
机构：
[1] Department of Informatics, University of Bergen, HiB
来源：
SIAM JOURNAL ON COMPUTING | 1997年 / 26卷 / 04期
关键词：
algebraic specification; many-sorted algebra; nondeterminism; sequent calculus;
D O I：
10.1137/S0097539794264317
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The article defines algebraic semantics of singular (call-time-choice) and plural (runtime-choice) nondeterministic parameter passing and presents a specification language in which operations with both kinds of parameters can be defined simultaneously. Sound and complete calculi for both semantics are introduced. We study the relations between the two semantics and point out that axioms for operations with plural arguments may be considered as axiom schemata for operations with singular arguments.
引用
收藏
页码：991 / 1005
页数：15
相关论文
共 50 条
  • [21] Nondeterministic communication with a limited number of advice bits
    Hromkovic, J
    Schnitger, G
    SIAM JOURNAL ON COMPUTING, 2003, 33 (01) : 43 - 68
  • [22] Workload Characterization of Nondeterministic Programs Parallelized by STATS
    Deiana, Enrico A.
    Campanoni, Simone
    2019 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS), 2019, : 190 - 201
  • [23] Interfacing Software Libraries from Nondeterministic Prototypes
    Stanislav Chachkov
    Didier Buchs
    Design Automation for Embedded Systems, 2003, 8 : 327 - 343
  • [24] Fixed-point logics with nondeterministic choice
    Dawar, A
    Richerby, D
    JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (04) : 503 - 530
  • [25] A testing strategy for nondeterministic message passing programs
    Kranzlmüller, D
    Schaubschläger, C
    Volkert, J
    HIGH PERFORMANCE COMPUTING SYSTEMS AND APPLICATIONS, 2000, 541 : 49 - 63
  • [26] Good enough testing of nondeterministic parallel programs
    Kranzlmüller, D
    Messner, J
    Schaubschläger, C
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 641 - 645
  • [27] Discrete-event control of nondeterministic systems
    Heymann, M
    Lin, F
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (01) : 3 - 17
  • [28] Interfacing software libraries from nondeterministic prototypes
    Chachkov, S
    Buchs, D
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2003, 8 (04) : 327 - 343
  • [29] Logical Argumentation Principles, Sequents, and Nondeterministic Matrices
    Corsi, Esther Anna
    Fermueller, Christian G.
    LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 422 - 437
  • [30] On Refinement-Closed Security Properties and Nondeterministic Compositions
    Murray, Toby
    Lowe, Gavin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 250 (02) : 49 - 68
12345