Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
type: Item
instance of: scholarly article
title: Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
zbMATH Open document ID: 1001.68056
DOI: 10.1016/S0304-3975(01)00362-0
author: Fabio Gadducci
author: Ugo Montanari
published in: Theoretical Computer Science
publication date: 2002-08-13T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1780624
zbMATH Keywords: action calculi
zbMATH Keywords: rewriting logic
zbMATH Keywords: tile logic
zbMATH Keywords: term graphs
zbMATH Keywords: algebraic theories
zbMATH Keywords: gs-monoidal theories
zbMATH Keywords: calculus
zbMATH Keywords: concurrent systems
zbMATH Keywords: interactive systems
zbMATH Keywords: mobile systems
describes a project that uses: Maude
describes a project that uses: CafeOBJ
describes a project that uses: ELAN
MaRDI profile type: Publication
cites work: Explicit substitutions
cites work: Q4218924
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Process algebra for synchronous communication
cites work: The chemical abstract machine
cites work: Q4222992
cites work: Q4941924
cites work: Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
cites work: Zero-safe nets: Comparing the collective and individual token approaches.
cites work: Q4222985
cites work: Maude: specification and programming in rewriting logic
cites work: Q4222853
cites work: Q4362962
cites work: An algebraic presentation of term graphs, via gs-monoidal categories
cites work: Relating two categorical models of term rewriting
cites work: An algebraic semantics for structured transition systems and its application to logic programs
cites work: Q3485876
cites work: A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
cites work: A distributed operational semantics of CCS based on condition/event systems
cites work: Axiomatizing the algebra of net computations and processes
cites work: CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
cites work: Tile formats for located and mobile systems.
cites work: Structured transition systems with parametric observations: observational congruences and minimal realizations
cites work: Q4513619
cites work: Q4222759
cites work: Closed action calculi
cites work: Q4364401
cites work: Q3024908
cites work: Q3777424
cites work: Q3931190
cites work: Q4172900
cites work: Q5536279
cites work: Q4297316
cites work: Semantics of weakening and contraction
cites work: Bicategories of processes
cites work: Q4373555
cites work: Formal verification of parallel programs
cites work: Q4023825
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Q3922646
cites work: Q5639839
cites work: Q4222859
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Rewriting logic as a semantic framework for concurrency: a progress report
cites work: Q3839051
cites work: Petri nets are monoids
cites work: Q3839052
cites work: Q4371024
cites work: A calculus of communicating systems
cites work: Q3992568
cites work: Q4525288
cites work: Calculi for interaction
cites work: Q4842539
cites work: A calculus of mobile processes. II

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (cites work)
cites work: Notions of computation and monads

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (cites work)
cites work: Q3907077

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (cites work)
cites work: Categorical logic of names and abstraction in action calculi

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (cites work)
cites work: Q4090505

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (cites work)
cites work: Premonoidal categories and notions of computation

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (cites work)
cites work: Q3219122

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (cites work)
cites work: Bisimilarity of open terms.

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (cites work)
cites work: Q5287535

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (cites work)
cites work: A theory of higher order communicating systems

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Recommended article)
Recommended article: A comparison between two logical formalisms for rewriting
Similarity Score: 0.89028716
Recommender Run: Recommender Run 3

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Recommended article)
Recommended article: Comparing higher-order encodings in logical frameworks and tile logic
Similarity Score: 0.8761042
Recommender Run: Recommender Run 3

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Recommended article)
Recommended article: Logical semantics for the rewriting calculus
Similarity Score: 0.87559795
Recommender Run: Recommender Run 3

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Recommended article)
Recommended article: Tiling transactions in rewriting logic
Similarity Score: 0.8713677
Recommender Run: Recommender Run 3

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Recommended article)
Recommended article: Q2722043
Similarity Score: 0.86856526
Recommender Run: Recommender Run 3

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Recommended article)
Recommended article: Rewriting logic and its applications (extended selected papers from WRLA 2014)
Similarity Score: 0.8656336
Recommender Run: Recommender Run 3

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Recommended article)
Recommended article: Rewriting logic and its applications (extended selected papers from WRLA 2014)
Similarity Score: 0.8656336
Recommender Run: Recommender Run 3

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Recommended article)
Recommended article: Q4263840
Similarity Score: 0.8630115
Recommender Run: Recommender Run 3

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Recommended article)
Recommended article: Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)
Similarity Score: 0.86243653
Recommender Run: Recommender Run 3

Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Recommended article)
Recommended article: Narrowing and rewriting logic: from foundations to applications
Similarity Score: 0.8612469
Recommender Run: Recommender Run 3