×

zbMATH — the first resource for mathematics

Waldén, Marina

Compute Distance To:
Author ID: walden.marina Recent zbMATH articles by "Waldén, Marina"
Published as: Waldén, M.; Waldén, Marina
Documents Indexed: 13 Publications since 1999, including 2 Books

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 11 times in 8 Documents Cited by Year
Data refinement of remote procedures. Zbl 0972.68013
Sere, Kaisa; Waldén, Marina
3
2000
Stepwise development of Simulink models using the refinement calculus framework. Zbl 1147.68826
Boström, Pontus; Morel, Lionel; Waldén, Marina
2
2007
Asynchronous system synthesis. Zbl 1075.68618
Plosila, J.; Sere, K.; Waldén, M.
2
2005
Derivation of concurrent programs by stepwise scheduling of Event-B models. Zbl 1342.68056
Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina
1
2014
ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4–6, 2003. Proceedings. Zbl 1020.00016
Bert, Didier (ed.); Bowen, Jonathan P. (ed.); King, Steve (ed.); Waldén, Marina (ed.)
1
2003
Structuring and verifying distributed algorithms. Zbl 0985.68091
Sere, Kaisa; Waldén, Marina
1
2001
A topological approach to distributed computing. Zbl 0966.68011
Petre, Luigia; Sere, Kaisa; Waldén, Marina
1
1999
Derivation of concurrent programs by stepwise scheduling of Event-B models. Zbl 1342.68056
Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina
1
2014
Stepwise development of Simulink models using the refinement calculus framework. Zbl 1147.68826
Boström, Pontus; Morel, Lionel; Waldén, Marina
2
2007
Asynchronous system synthesis. Zbl 1075.68618
Plosila, J.; Sere, K.; Waldén, M.
2
2005
ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4–6, 2003. Proceedings. Zbl 1020.00016
Bert, Didier (ed.); Bowen, Jonathan P. (ed.); King, Steve (ed.); Waldén, Marina (ed.)
1
2003
Structuring and verifying distributed algorithms. Zbl 0985.68091
Sere, Kaisa; Waldén, Marina
1
2001
Data refinement of remote procedures. Zbl 0972.68013
Sere, Kaisa; Waldén, Marina
3
2000
A topological approach to distributed computing. Zbl 0966.68011
Petre, Luigia; Sere, Kaisa; Waldén, Marina
1
1999

Citations by Year