Searching for authors named "Bernard Berthomieu" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Implementing CCS, the LCS experiment
- … Implementing CCS, the LCS experiment A SUMMARY OF THE PROJECT Bernard Berthomieu LAAS…
- Cited by 5 (0 self) – Add To MetaCart
-
Process Calculi at work - An account of the LCS project
- … 1 Process Calculi at work - An account of the LCS project Bernard Berthomieu LAAS/ CNRS, 7…
- Cited by 2 (0 self) – Add To MetaCart
-
State Class Constructions for Branching Analysis of Time Petri Nets
- …State class constructions for branching analysis of Time Petri nets Bernard Berthomieu and Franois…
- Cited by 12 (1 self) – Add To MetaCart
-
An Enumerative Approach For Analyzing Time Petri Nets
- …AN ENUMERATIVE APPROACH FOR ANALYZING TIME PETRI NETS Bernard BERTHOMIEU and Miguel MENASCHE…
- Cited by 37 (2 self) – Add To MetaCart
-
LCS Users Manuals
- …1998 Release Notes Language Reference User Interfaces Libraries Bernard Berthomieu Bernard.Berthomieu…
- Add To MetaCart
-
On combining the Persistent Sets Method with the Covering Steps Graph Method
- …Persistent Step Graphs Pierre-Olivier RIBET, Francois VERNADAT, Bernard BERTHOMIEU e-mail : fribet…
- Cited by 4 (2 self) – Add To MetaCart
-
A Calculus of Tagged Types, with applications to process languages
- …A Calculus of Tagged Types, with applications to process languages Bernard Berthomieu and Camille…
- Add To MetaCart
-
Graphe de pas couvrant préservant LTL_X LGPC
- …, Bernard Berthomieu LAAS-CNRS 7 avenue du Colonel Roche F-31077 Toulouse cedex - France fribet…
- Add To MetaCart
-
Programming with behaviors in an ML framework - The syntax and semantics of LCS
- …, France. e-mail: Bernard.Berthomieu@(email omitted); 2 LFCS, University of Edinburgh, The King's Buildings…
- Cited by 13 (5 self) – Add To MetaCart
-
Balancing load under large and fast load changes in distributed computing systems - A case study
- … Thierry Le Sergent 1 and Bernard Berthomieu 2 1 LFCS, University of Edinburgh, Edinburgh, EH9 3JZ, U…
- Cited by 7 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
