scientific article

zbMath0983.68135MaRDI QIDQ2767047

Michael Leuschel, Helko Lehmann

Publication date: 28 January 2002

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Symbolic Specialization of Rewriting Logic Theories with Presto ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation ⋮ Well-structured transition systems everywhere!

Uses Software

• HyTech
• ECCE

This page was built for publication: