Rapid prototyping of protocols from LOTOS specifications

Authors:
A. Valenzano;R. Sisto;L. Ciminiera
Affiliations:
-;-;-
Venue:
Software—Practice & Experience
Year:
1993

Citing 0
Cited 2

Constructive Protocol Specification Using Cicero

IEEE Transactions on Software Engineering
Programming languages and systems for prototyping concurrent applications

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract