( en | de | ru )

 

Disambiguation of "Sere, Kaisa"

Author of the publication

copydeleteadd this publication to your clipboard
Developing Object-based Distributed Systems.

, , and . FMOODS, volume 139 of IFIP Conference Proceedings, Kluwer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Chrysille Seré

Kaisa Väänänen

Carlos Seré

Evangelos Kaisar

Lara Marie Kaisarly

 

Other publications of authors with the same name

Action Systems with Synchronous Communication., and . PROCOMET, volume A-56 of IFIP Transactions, page 107-126. North-Holland, (1994)Developing Object-based Distributed Systems., , and . FMOODS, volume 139 of IFIP Conference Proceedings, Kluwer, (1999)Structuring and Verifying Distributed Algorithms., and . Nord. J. Comput., 8 (2): 193-218 (2001)Developing Control Systems Components., and . IFM, volume 1945 of Lecture Notes in Computer Science, page 156-175. Springer, (2000)Coordination Among Mobile Objects., and . COORDINATION, volume 1594 of Lecture Notes in Computer Science, page 227-242. Springer, (1999)Coordination-Based Design of Distributed Systems., and . COORDINATION, volume 1906 of Lecture Notes in Computer Science, page 347-352. Springer, (2000)Hazard Analysis in Formal Specification., and . SAFECOMP, volume 1698 of Lecture Notes in Computer Science, page 350-360. Springer, (1999)Coordination in the ImpUNITY Framework., , , and . Sci. Comput. Program., 31 (2-3): 313-334 (1998)Generation of Structural VHDL Code with Library Components from Formal Event-B Models., , , and . DSD, page 111-118. IEEE Computer Society, (2013)Program Transformations and Refinements in HOL., and . TPHOLs, page 231-239. IEEE Computer Society, (1991)