`Travelled to:`

1 × Belgium

1 × France

1 × Germany

`Collaborated with:`

R.R.Howell H.Yen M.G.Gouda O.H.Ibarra S.M.Kim

`Talks about:`

state (2) finit (2) probabilist (1) character (1) restrict (1) reachabl (1) prioriti (1) conflict (1) communic (1) respect (1)

## Person: Louis E. Rosier

### DBLP: Rosier:Louis_E=

### Contributed to:

### Wrote 4 papers:

- ICALP-1987-HowellR #equivalence #reachability
- Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems (RRH, LER), pp. 509–520.
- ICALP-1986-RosierY #complexity #concurrent #finite #on the #probability #source code #termination
- On The Complexity of Deciding Fair Termination of Probabilistic Concurrent Finite-State Programs (LER, HCY), pp. 334–343.
- ICALP-1984-GoudaR #communication #finite #state machine
- Communicating Finite State Machines with Priority Channels (MGG, LER), pp. 209–221.
- ICALP-1984-IbarraKR #performance #simulation #strict
- Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs (OHI, SMK, LER), pp. 247–259.