Bernard Berthomieu
Bernard BERTHOMIEU
E-mail: Bernard.Berthomieu@laas.fr
url: http://www.laas.fr/~bernard
Phone: (+33) 05 61 33 63 63
Fax: (+33) 05 61 33 64 11
LAAS / CNRS
7, avenue du Colonel Roche
31077 Toulouse, France
Chargé de Recherche at Laboratoire d'Analyse et d'Architecture des
Systèmes of Centre National de la Recherche Scientifique ,
in the group Outils Logiciels pour la Communication (OLC)
Research interests:
In semantics and implementation
of concurrent programming languages.
Developper of the programming language LCS , based on a higher order variant of Robin Milner's Calculus of Communicating Systems embedded into Standard ML.
In analysis techniques for Petri Nets, Time Petri Nets, and related formalisms for concurrent systems. Developper of the TINA toolbox
Pointers:
Bookmarks:
Last updated: Tue Apr 30 16:54:02 CEST 2002