No photo of Rom Langerak

Rom Langerak

1990 …2017
If you made any changes in Pure these will be visible here soon.

Activities 1994 2009

  • 2 Oral presentation
  • 1 Organising a conference, workshop, ...

Workshop on Formal Methods for Aerospace, FMA 2009

Rom Langerak (Member of programme committee)

Activity: Participating in or organising an eventOrganising a conference, workshop, ...

Causal ambiguity and partial orders in event structures

Romanus Langerak (Keynote speaker)
2 Jul 1997

Activity: Talk or presentationOral presentation

Algorithm for the decomposition of processes in a process algebraic framework

Hendrik Brinksma (Speaker), Rom Langerak (Speaker)
27 Jun 1994

Activity: Talk or presentationOral presentation