Stepwise refinement of parallel algorithms. Zbl 0705.68057
Back, R. J. R.; Sere, K. |
|
1990
|
Hybrid action systems. Zbl 1019.68054
Rönkkö, Mauno; Ravn, Anders P.; Sere, Kaisa |
|
2003
|
Superposition refinement of reactive systems. Zbl 0852.68008
Back, R. J. R.; Sere, K. |
|
1996
|
Program development by refinement. Case studies using the B method. Zbl 0930.68087
|
|
1999
|
Superposition refinement of parallel algorithms. Zbl 0785.68060
Back, R. J. R.; Sere, K. |
|
1992
|
Derivation of concurrent programs by stepwise scheduling of Event-B models. Zbl 1342.68056
Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina |
|
2014
|
Asynchronous system synthesis. Zbl 1075.68618
Plosila, J.; Sere, K.; Waldén, M. |
|
2005
|
Data refinement of remote procedures. Zbl 0972.68013
Sere, Kaisa; Waldén, Marina |
|
2000
|
Refinement and continuous behaviour. Zbl 0930.68030
Rönkkö, Mauno; Sere, Kaisa |
|
1999
|
Developing object-based distributed systems. Zbl 0928.68047
Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa |
|
1999
|
Specifying the Caltech asynchronous microprocessor. Zbl 0848.68022
Back, R. J. R.; Martin, A. J.; Sere, K. |
|
1996
|
Coordination in the ImpUNITY framework. Zbl 0943.68114
Goeman, H. J. M.; Kok, J. N.; Sere, K.; Udink, R. T. |
|
1998
|
A topological approach to distributed computing. Zbl 0966.68011
Petre, Luigia; Sere, Kaisa; Waldén, Marina |
|
1999
|
Developing control systems components. Zbl 1043.68541
Petre, Luigia; Sere, Kaisa |
|
2000
|
Structuring and verifying distributed algorithms. Zbl 0985.68091
Sere, Kaisa; Waldén, Marina |
|
2001
|
Toward self-placing applications on 2D and 3D NoCs. Zbl 1251.68039
Petre, L.; Sere, K.; Tsiopoulos, L; Liljeberg, P.; Plosila, J. |
|
2012
|
Derivation of concurrent programs by stepwise scheduling of Event-B models. Zbl 1342.68056
Boström, Pontus; Degerlund, Fredrik; Sere, Kaisa; Waldén, Marina |
|
2014
|
Toward self-placing applications on 2D and 3D NoCs. Zbl 1251.68039
Petre, L.; Sere, K.; Tsiopoulos, L; Liljeberg, P.; Plosila, J. |
|
2012
|
Asynchronous system synthesis. Zbl 1075.68618
Plosila, J.; Sere, K.; Waldén, M. |
|
2005
|
Hybrid action systems. Zbl 1019.68054
Rönkkö, Mauno; Ravn, Anders P.; Sere, Kaisa |
|
2003
|
Structuring and verifying distributed algorithms. Zbl 0985.68091
Sere, Kaisa; Waldén, Marina |
|
2001
|
Data refinement of remote procedures. Zbl 0972.68013
Sere, Kaisa; Waldén, Marina |
|
2000
|
Developing control systems components. Zbl 1043.68541
Petre, Luigia; Sere, Kaisa |
|
2000
|
Program development by refinement. Case studies using the B method. Zbl 0930.68087
|
|
1999
|
Refinement and continuous behaviour. Zbl 0930.68030
Rönkkö, Mauno; Sere, Kaisa |
|
1999
|
Developing object-based distributed systems. Zbl 0928.68047
Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa |
|
1999
|
A topological approach to distributed computing. Zbl 0966.68011
Petre, Luigia; Sere, Kaisa; Waldén, Marina |
|
1999
|
Coordination in the ImpUNITY framework. Zbl 0943.68114
Goeman, H. J. M.; Kok, J. N.; Sere, K.; Udink, R. T. |
|
1998
|
Superposition refinement of reactive systems. Zbl 0852.68008
Back, R. J. R.; Sere, K. |
|
1996
|
Specifying the Caltech asynchronous microprocessor. Zbl 0848.68022
Back, R. J. R.; Martin, A. J.; Sere, K. |
|
1996
|
Superposition refinement of parallel algorithms. Zbl 0785.68060
Back, R. J. R.; Sere, K. |
|
1992
|
Stepwise refinement of parallel algorithms. Zbl 0705.68057
Back, R. J. R.; Sere, K. |
|
1990
|