scientific article
From MaRDI portal
Publication:3838763
zbMath0905.68091MaRDI QIDQ3838763
Qing Guo, Paliath Narendran, Sandeep Kumar Shukla
Publication date: 4 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bisimulationspecificationprocess algebrasequational theorycompatibility checkingunification modulo equations
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)
Related Items
