An interpreter for LOTOS, a specification language for distributed systems

Authors:
L. Logrippo;A. Obaid;J. P. Briand;M. C. Fehri
Affiliations:
Univ. of Ottawa, Ottawa, Ont., Canada;Univ. of Ottawa, Ottawa, Ont., Canada;Univ. of Ottawa, Ottawa, Ont., Canada;Univ. of Ottawa, Ottawa, Ont., Canada
Venue:
Software—Practice & Experience
Year:
1988

Citing 0
Cited 6

Trace Analysis for Conformance and Arbitration Testing

IEEE Transactions on Software Engineering
The algebraic specification language LOTOS: an industrial experience

Conference proceedings on Formal methods in software development
Test Generation from LOTOS Specifications

IEEE Transactions on Computers - Special issue on protocol engineering
Executing the formal definition of Ada

ACM SIGPLAN Notices
Specification and Validation of Control-Intensive IC's in hopCP

IEEE Transactions on Software Engineering
Research: Analysis and representation of test cases generated from LOTOS

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract