Publication:4222853
From MaRDI portal
zbMath0912.68095MaRDI QIDQ4222853
José Meseguer, Manuel Clavel, Steven Eker, Patrick D. Lincoln
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#celm
Related Items
Behavioral abstraction is hiding information, A \(\rho\)-calculus of explicit constraint application, Logical foundations of CafeOBJ, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic, Actor theories in rewriting logic, Automata-driven automated induction, Context-sensitive rewriting strategies, Specification and proof in membership equational logic, Executable structural operational semantics in Maude, Unnamed Item, Unnamed Item, Unnamed Item
Uses Software
Cites Work