Specification and design of the X.25 protocol: a case study in CSP

Authors:
He Jifeng
Affiliations:
-
Venue:
Developments in concurrency and communication
Year:
1991

Citing 0
Cited 2

Formalizing architectural connection

ICSE '94 Proceedings of the 16th international conference on Software engineering
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract