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:
198719861984Wrote 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.