Prof.dr. J.A. Bergstra

Update Persondata

• computer
• innovation
• logic
• particular
• programming
• science

Active as

Publications

(the most recent at the top)

Decision taking as a service

On the expressiveness of single-pass instruction sequences

Inversive meadows and divisive meadows

On the behaviours produced by instruction sequences under execution

Outsourcing competence

All publications..

Current research

(the most recent research is at the top)
Project leader	Symbiosis

Completed research projects

(the most recent research is at the top)
Project leader	Formal Methods
Project leader	Thread algebra for strategic interleaving
Researcher	Transmission Control Protocols for the Internet

Classification

D11100	Logic, set theory and arithmetic
D16200	Software, algorithms, control systems
D16300	Theoretical computer science