A Logical Framework for Distributed Systems and Communication Protocols

Authors:
José Meseguer
Affiliations:
-
Venue:
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Year:
1998

Citing 0
Cited 3

Issues in formal methods

Formal methods for distributed processing
Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications
Development of communication protocols using algebraic and temporal specifications

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract