Finite axiom systems for testing preorder and De Simone process languages
Under an Elsevier user license
open archive
Keywords
De Simone process languages
Structured Operational Semantics (SOS)
Testing semantics
Equational logic
Complete axiomatisations
Cited by (0)
- 1
Present address: Department of Mathematics and Computer Science, University of Leicester, University Road, Leicester, LE1 7RH, England.
Copyright © 2000 Elsevier Science B.V. All rights reserved.