PARALLEL AND DISTRIBUTED DERIVATIONS IN THE SINGLE-PUSHOUT APPROACH

被引：16
|
作者：
EHRIG, H
LOWE, M
机构：
[1] FR 6-1, Technische Universität Berlin, Franklinstrasse 28/29
来源：
THEORETICAL COMPUTER SCIENCE | 1993年 / 109卷 / 1-2期
关键词：
D O I：
10.1016/0304-3975(93)90066-3
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Parallel and distributed derivations are introduced and studied in the single-pushout approach, which models rewriting by pushout constructions in appropriate categories of partial morphisms. We present a categorical framework for this approach in an axiomatic way. Models of this categorical framework are among others: graphs, hypergraphs, relational structures, and algebraic specifications with suitable partial morphisms. Several new results concerning parallelism and distributed parallelism are presented which are even new in the example categories.
引用
收藏
页码：123 / 143
页数：21
相关论文
共 50 条
  • [31] An analytic approach to assess the performability of parallel & distributed systems
    Fiorini, PM
    Campbell, C
    Lipsky, L
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2002, : 219 - 224
  • [32] An Approach for Parallel Interest Matching in Distributed Virtual Environments
    Liu, Elvis S.
    Theodoropoulos, Georgios K.
    13TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL-TIME APPLICATIONS, PROCEEDINGS, 2009, : 57 - 65
  • [33] The MOST immersive approach for parallel and distributed program analysis
    Reitinger, B
    Kranzlmüller, D
    Volkert, J
    FIFTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION, PROCEEDINGS, 2001, : 517 - 522
  • [34] Distributed and Parallel Approach for Handle and Perform Huge Datasets
    Konopko, Joanna
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
  • [35] A distributed object oriented approach for parallel VOD systems
    d'Acierno, A
    De Pietro, G
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 2122 - 2128
  • [36] Portable, parallel transformation: Distributed-memory approach
    Covick, LA
    Sando, KM
    JOURNAL OF COMPUTATIONAL CHEMISTRY, 1996, 17 (08) : 992 - 1001
  • [37] Analyses of single fiber pushout considering interfacial friction and adhesion
    Pochiraju, KV
    Tandon, GP
    Pagano, NJ
    JOURNAL OF THE MECHANICS AND PHYSICS OF SOLIDS, 2001, 49 (10) : 2307 - 2338
  • [38] The single resource allocation problem: Parallel algorithms on distributed systems
    Almeida, F
    Morales, D
    Roda, JL
    Rodriguez, C
    Garcia, F
    PARALLEL PROCESSING DEVELOPMENTS, 1996, 47 : 221 - 232
  • [39] Reusable Component Model Development Approach for Parallel and Distributed Simulation
    Zhu, Feng
    Yao, Yiping
    Chen, Huilong
    Yao, Feng
    SCIENTIFIC WORLD JOURNAL, 2014,
  • [40] A distributed and parallel self-assembly approach for swarm robotics
    Yang, Hong-an
    Cao, Shuai
    Bai, Luoyu
    Zhang, Zhaoqi
    Kong, Jie
    ROBOTICS AND AUTONOMOUS SYSTEMS, 2019, 118 : 80 - 92
12345