scientific article; zbMATH DE number 1231666

MaRDI QIDQ4222992zbMATH OpenFDO

Authors Roberto Bruni

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#15015

zbMATH Keywords

concurrent systemstile logic

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1189279
• scientific article; zbMATH DE number 1231660
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• scientific article; zbMATH DE number 1231533

Cited in

(9)

• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Rewriting logic: Roadmap and bibliography
• Normal forms for algebras of connections.
• Comparing cospan-spans and tiles via a Hoare-style process calculus
• scientific article; zbMATH DE number 1231533 (Why is no real title available?)
• scientific article; zbMATH DE number 1231596 (Why is no real title available?)
• Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
• scientific article; zbMATH DE number 1361467 (Why is no real title available?)
• scientific article; zbMATH DE number 1418374 (Why is no real title available?)

Describes a project that uses

Uses Software

• CafeOBJ
• ELAN
• 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 Q4222992)