scientific article
From MaRDI portal
Publication:3780426
zbMath0639.68027MaRDI QIDQ3780426
Claude Kirchner, Joseph A. Goguen, José Meseguer
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model of computationOBJ languageConcurrent E-strategiesultra high level languagesconcurrent term rewriting
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items
Conditional rewriting logic: Deduction, models and concurrency, Compiling concurrent rewriting onto the Rewrite Rule Machine, Parallel graph rewriting on loosely coupled machine architectures, More problems in rewriting, Concurrent garbage collection for concurrent rewriting, José Meseguer: Scientist and Friend Extraordinaire, An abstract concurrent machine for rewriting, Critical pairs in term graph rewriting, Petri nets are monoids, Conditional rewriting logic as a unified model of concurrency, The Existential Fragment of the One-Step Parallel Rewriting Theory
