Józef Winkowski

1934

• CONCUR'97 - Concurrency Theory
• A language for describing non-sequential porcesses
• A natural method of proving properties of programs
• Few body systems and nuclear forces
• Processes in composed systems
• Symulacja algorytmiczna