Specification of communication protocols using temporal logic

Authors:
Mohamed Jmaiel
Affiliations:
-
Venue:
Journal of Systems and Software - Special issue on software engineering for distributed computing
Year:
1996

Citing 0
Cited 2

Development of communication protocols using algebraic and temporal specifications

Computer Networks: The International Journal of Computer and Telecommunications Networking
An approach to the formal specification of lingware

Natural Language Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract