Decomposition of functionality: a correctness-preserving LOTOS transformation

Authors:
Rom Langerak
Affiliations:
-
Venue:
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Year:
1990

Citing 0
Cited 7

Synthesis of Communication Protocols: Survey and Assessment

IEEE Transactions on Computers - Special issue on protocol engineering
Synthesis of communications protocols: an annotated bibliography

ACM SIGCOMM Computer Communication Review
Software process description using LOTOS and its enaction

ICSE '94 Proceedings of the 16th international conference on Software engineering
A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method

IEEE Transactions on Software Engineering
Comments on deriving protocol specifications from service specifications written in LOTOS

Distributed Computing
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended petri nets

Distributed Computing
Deriving protocol specifications from service specifications written in LOTOS

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract