The L.0 Language and Environment for Protocol Simulation and Prototyping
IEEE Transactions on Computers - Special issue on protocol engineering
Communication protocol design to facilitate re-use based on the object-oriented paradigm
Mobile Networks and Applications - Special issue: protocols for mobile environments
A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
Object-oriented modelling of communication protocols for re-use
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
| Hi-index | 0.00 |