scientific article

zbMath0977.68865MaRDI QIDQ2764137

José Meseguer, Steve Zabele, Mark H. Keaton, Peter Csaba Ölveczky, Carolyn L. Talcott

Publication date: 22 January 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2029/20290333

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99) General topics in artificial intelligence (68T01)

Related Items (6)

Rewriting logic: Roadmap and bibliography ⋮ Specification and analysis of the AER/NCA active network protocol suite in real-time Maude ⋮ Semantics and pragmatics of real-time maude ⋮ Twenty years of rewriting logic ⋮ Abstraction and Completeness for Real-Time Maude ⋮ Specification of real-time and hybrid systems in rewriting logic

Uses Software

• HyTech
• Maude

This page was built for publication: