Waldén, Marina

name

• Waldén, Marina

Authored works

• Deriving distributed systems using B-method
• Formal derivation of a distributed load balancing algorithm
• Formal reasoning about distributed algorithms
• Layering distributed algorithms

Works contributed to

• A case study in requirement analysis of control systems using UML and B
• A healthcare case study : Fillwell
• A language for modeling network availability
• A topological approach to distributed computing
• An extension of Event B for developing grid systems
• Component-based asynchronous circuit design in B
• Data refinement of remote procedures
• Development of fault tolerant grid applications using distributed B
• Distributed system development in B
• Mobile components as topological action systems
• NWPT'10
• Proceedings of the 15th Nordic Workshop on Programming Theory, NWPT'03, 29-31.10.2003 : abstracts
• Reverse engineering distributed algorithms
• Verification of a distributed algorithm due to Chu

Works about Waldén, Marina