`Travelled to:`

1 × USA

1 × United Kingdom

`Collaborated with:`

∅ R.Gustavsson A.Wærn

`Talks about:`

program (2) logic (2) parallel (1) languag (1) concurr (1) algebra (1) toward (1) semant (1) formal (1) execut (1)

## Person: Lennart Beckman

### DBLP: Beckman:Lennart

### Contributed to:

### Wrote 2 papers:

- ICLP-1986-Beckman86 #concurrent #logic programming #programming language #semantics #towards
- Towards a Formal Semantics for Concurrent Logic Programming Languages (LB), pp. 335–349.
- LICS-1986-BeckmanGW #algebra #execution #logic programming #parallel #source code
- An Algebraic Model of Parallel Execution of Logic Programs (LB, RG, AW), pp. 50–57.