Publication:4270072
From MaRDI portal
zbMath0939.68084MaRDI QIDQ4270072
José Meseguer, Carolyn L. Talcott
Publication date: 20 December 1999
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Maude: specification and programming in rewriting logic, Actor theories in rewriting logic, A formal approach to object-oriented software engineering, Rewriting logic: Roadmap and bibliography