scientific article; zbMATH DE number 1361138

From MaRDI portal

Publication:4270075

Jump to:navigation, search

zbMath0934.03045MaRDI QIDQ4270075

Thomas Noll

Publication date: 25 April 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verification term rewriting equational theory rewriting logic design languages for distributed systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (1)

Rewriting logic: Roadmap and bibliography

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4270075&oldid=18183749"