( en | de | ru )

 

Disambiguation of "Stefani, Jean-Bernard"

Author of the publication

copydeleteadd this publication to your clipboard
Simple Isolation for an Actor Abstract Machine.

, , and . FORTE, volume 9039 of Lecture Notes in Computer Science, page 213-227. Springer, (2015)

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-Pierre Bernard

Jean-Bernard Delbé

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

Guaranteeing liveness in an object calculus through behavioural typing., , and . FORTE, volume 156 of IFIP Conference Proceedings, page 203-221. Kluwer, (1999)From Behavioural Contracts to Session Types., , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 278-297. Springer, (2019)Object-Based Concurrency: A Process Calculus Analysis., and . TAPSOFT, Vol.1, volume 493 of Lecture Notes in Computer Science, page 359-380. Springer, (1991)An Abstract Machine for the Kell Calculus., , and . FMOODS, volume 3535 of Lecture Notes in Computer Science, page 31-46. Springer, (2005)The Kell Calculus: A Family of Higher-Order Distributed Process Calculi., and . Global Computing, volume 3267 of Lecture Notes in Computer Science, page 146-178. Springer, (2004)Interval Logics and Sequential Transducers., and . CAAP, volume 299 of Lecture Notes in Computer Science, page 244-257. Springer, (1988)The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems, , , , and . Softw. Pract. Exper., 36 (11-12): 1257--1284 (2006)Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach., , and . CASSIS, volume 3956 of Lecture Notes in Computer Science, page 118-137. Springer, (2005)Think: A Software Framework for Component-based Operating System Kernels., , , and . USENIX Annual Technical Conference, General Track, page 73-86. USENIX, (2002)A Formal Semantics for the ODP Computational Model., and . Computer Networks and ISDN Systems, 27 (8): 1305-1329 (1995)