`Travelled to:`

1 × Germany

1 × Italy

1 × Spain

1 × Switzerland

1 × Taiwan

`Collaborated with:`

∅ D.Leivant

`Talks about:`

program (2) recurs (2) transit (1) provabl (1) project (1) largest (1) extract (1) complex (1) complet (1) bisimul (1)

## Person: Tim Fernando

### DBLP: Fernando:Tim

### Contributed to:

### Wrote 5 papers:

- CIAA-2006-Fernando #finite
- Finite-State Temporal Projection (TF), pp. 230–241.
- CSL-1992-Fernando #comparative #semantics
- Comparative Transition System Semantics (TF), pp. 149–166.
- CSL-1991-Fernando #bisimulation #complexity #logic #recursion #set
- A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation (TF), pp. 96–110.
- ICALP-1991-Fernando #recursion #source code
- Provably Recursive Programs and Program Extraction (TF), pp. 303–313.
- POPL-1987-LeivantF
- Skinny and Fleshy Failures of Relative Completeness (DL, TF), pp. 246–252.