Travelled to:2 × USA
Collaborated with:E.A.Emerson
Talks about:model (2) check (2) proposit (1) fragment (1) calculus (1) strike (1) effici (1) branch (1) modal (1) time (1)
Person: Chin-Laung Lei
DBLP: Lei:Chin=Laung
Contributed to:
1986
1985Wrote 2 papers:
- LICS-1986-EmersonL #calculus #model checking #performance #μ-calculus
- Efficient Model Checking in Fragments of the Propositional μ-Calculus (EAE, CLL), pp. 267–278.
- POPL-1985-EmersonL #branch #model checking
- Modalities for Model Checking: Branching Time Strikes Back (EAE, CLL), pp. 84–96.