scientific article; zbMATH DE number 1231669

zbMath0917.68126MaRDI QIDQ4222997

Georgia Carabetta, Pierpaolo Degano

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15018

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (6)

Rewriting logic: Roadmap and bibliography ⋮ Executable structural operational semantics in Maude ⋮ Twenty years of rewriting logic ⋮ Concurrencies in reversible concurrent calculi ⋮ A causal semantics for CCS via rewriting logic ⋮ Maude: specification and programming in rewriting logic

This page was built for publication: