scientific article; zbMATH DE number 4043232

MaRDI QIDQ3780426zbMATH OpenFDO

Authors Joseph Goguen, Claude Kirchner, José Meseguer

Publication date 1987

zbMATH Keywords

Concurrent E-strategiesconcurrent term rewritingmodel of computationOBJ languageultra high level languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Term Rewriting and Applications
• scientific article; zbMATH DE number 1390088
• Towards modelling actor-based concurrency in term rewriting
• scientific article; zbMATH DE number 1361138
• Conditional rewriting logic as a unified model of concurrency
• Concurrent graph and term graph rewriting
• scientific article; zbMATH DE number 809425
• An abstract concurrent machine for rewriting
• Confluence of curried term-rewriting systems
• A formalization of sequential, parallel, and continuous rewriting

Cited in

(22)

• Conditional rewriting logic as a unified model of concurrency
• Term rewriting on GPUs
• Meta model of concurrent computation. I: Graph Model
• José Meseguer: scientist and friend extraordinaire
• Toward the concurrent implementation of computational systems
• The Existential Fragment of the One-Step Parallel Rewriting Theory
• scientific article; zbMATH DE number 4043221 (Why is no real title available?)
• scientific article; zbMATH DE number 1254027 (Why is no real title available?)
• scientific article; zbMATH DE number 1406167 (Why is no real title available?)
• scientific article; zbMATH DE number 1418475 (Why is no real title available?)
• Computational Models for Information Reuse
• More problems in rewriting
• Concurrent garbage collection for concurrent rewriting
• An abstract concurrent machine for rewriting
• Critical pairs in term graph rewriting
• Towards modelling actor-based concurrency in term rewriting
• Concurrent Turing machines
• Term Rewriting and Applications
• Conditional rewriting logic: Deduction, models and concurrency
• Compiling concurrent rewriting onto the Rewrite Rule Machine
• Parallel graph rewriting on loosely coupled machine architectures
• Petri nets are monoids

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3780426)