scientific article; zbMATH DE number 1515853

zbMATH Open0959.68527MaRDI QIDQ4508933

José Meseguer

Publication date: 6 May 2001

Title of this publication is not available (Why is that?)

zbMATH Keywords

concurrent systemsrewriting logicMaude

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Specifying and Analyzing the Kademlia Protocol in Maude ⋮ A Maude specification of an object-oriented model for telecommunication networks

Uses Software

• Maude

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 Q4508933)