9 citations · 17 across the 8 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
cs.LO2010★ 3 cited
Rewriting and Well-Definedness within a Proof System
Issam Maamria, Michael Butler
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised pr…
cs.LO2010
Deriving Relationship Between Semantic Models - An Approach for cCSP
Shamim H. Ripon, Michael Butler
Formal semantics offers a complete and rigorous definition of a language. It is important to define different semantic models for a language and different models serve different pu…
cs.LO2010★ 1 cited
Formalizing cCSP Synchronous Semantics in PVS
Shamim H. Ripon, Michael Butler
Compensating CSP (cCSP) is a language defined to model long running business transactions within the framework of standard CSP process algebra. In earlier work, we have defined bot…