( en | de | ru )

 

Disambiguation of "Stefani, Jean-Bernard"

Author of the publication

copydeleteadd this publication to your clipboard
Oz/K: a kernel language for component-based open programming.

, , and . GPCE, page 43-52. ACM, (2007)

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.

Jean-Bernard Bouche

Jean-Bernard Delbé

Jean-Bernard Delbé

Jean-Pierre Bernard

Nicolas Jeanvoine

Plasma-material interaction and electrode degradation in high voltage ignition discharges. Uni Saarbrücken, (2009)
 

Other publications of authors with the same name

Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset, , , and . (2007)Dynamic Configuration in LOTOS., and . FORTE, volume C-2 of IFIP Transactions, page 201-216. North-Holland, (1991)Elements of an object-based model for distributed and mobile computation., , and . FMOODS, volume 177 of IFIP Conference Proceedings, page 23-43. Kluwer, (2000)Components as Location Graphs.. FACS, volume 8997 of Lecture Notes in Computer Science, page 3-23. Springer, (2014)Fault Ascription in Concurrent Systems., and . TGC, volume 9533 of Lecture Notes in Computer Science, page 79-94. Springer, (2015)The ReTINA DPE Kernel: A Flexible, Real-Time ORB Framework., , , and . IS&N, volume 1430 of Lecture Notes in Computer Science, page 287-296. Springer, (1998)Normal Bisimulations in Calculi with Passivation., , and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 257-271. Springer, (2009)Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat*., , , , , , and . CNSM, page 1-5. IEEE, (2019)Checkpoint/Rollback vs Causally-Consistent Reversibility., and . RC, volume 11106 of Lecture Notes in Computer Science, page 286-303. Springer, (2018)Reversibility in Erlang: Imperative Constructs., , , , and . RC, volume 13354 of Lecture Notes in Computer Science, page 187-203. Springer, (2022)