Conditional rewriting logic as a unified model of concurrency (Q1190488): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q125052689, #quickstatements; #temporary_batch_1714689923223
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Compiling concurrent rewriting onto the Rewrite Rule Machine / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3026313 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The gamma model and its discipline of programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lambda calculus. Its syntax and semantics. Rev. ed. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3682648 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph expressions and graph rewritings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3896478 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Varieties of ordered algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3750994 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4733397 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4692502 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite trees in normal form and recursive equations having a unique solution / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4164787 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The categorical abstract machine / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3785893 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5565113 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3210197 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385532 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4205073 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4194478 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Aspects of topoi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3824307 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3880309 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3719824 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3817573 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3780426 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: A mathematical approach to nondeterminism in data types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4722037 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3777424 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3490967 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Actor grammars / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3028319 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3782761 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completion of a Set of Rules Modulo a Set of Equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4100671 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On ``On graph rewritings'' / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3795207 / rank
 
Normal rank
Property / cites work
 
Property / cites work: General recursive functions of natural numbers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3918095 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The linear abstract machine / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subequalizers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5595187 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adjointness in Foundations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3922646 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: From petri nets to linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Varieties of chain-complete algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3954802 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4145866 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3032225 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3687683 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Petri nets are monoids / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4038690 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3204056 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computing in systems described by equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3776590 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Implementing term rewriting by graph reduction: Termination of combined systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: An abstract formulation for rewrite systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On graph rewritings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Operational and Semantic Equivalence Between Recursive Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3773301 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3815296 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3827993 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Concurrent transition systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fair termination is decidable for ground systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Termination for direct sums of left-linear complete term rewriting systems / rank
 
Normal rank

Latest revision as of 11:45, 16 May 2024

scientific article
Language Label Description Also known as
English
Conditional rewriting logic as a unified model of concurrency
scientific article

    Statements

    Conditional rewriting logic as a unified model of concurrency (English)
    0 references
    0 references
    26 September 1992
    0 references
    This work attempts to clearify the notion of a concurrent system by proposing a model theory for deduction, i.e., the proof theory of rewriting. The 82 pages of the paper are organized in 6 sections which are shortly described as follows: In the first section it is argued why and how rewriting logic is a logic of action and, as such, being intrinsically of concurrent nature. Section 2 contains the basics of rewriting and the rule of (concurrent) deduction are given. The semantics is given in Secion 3 by interpreting the rewriting rules as rules of generation. The initial model is proven to be sound and complete. Section 4 proposes the language MAUDE which includes OBJ-3 and serves as a semantics of rewrite rule programs as concurrent systems. Section 5 shows in detail how many well known concurrent systems can be viewed as concurrent rewriting systems. The 5 sections are completed with a discussion of related work and a list of 125 references.
    0 references
    0 references
    0 references
    0 references
    0 references
    initial model
    0 references
    rewriting logic
    0 references
    deduction
    0 references
    concurrent systems
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references