No photo of Rom Langerak

Rom Langerak

dr.ir.

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

Research Output 1990 2017

Filter
Report
1997
19 Citations

Causal ambiguity and partial orders in event structures

Langerak, R., Brinksma, H. & Katoen, J. P., Apr 1997, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. 97-11)

Research output: Book/ReportReportProfessional

Open Access
File
1996

A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions

Katoen, J. P., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T., 1996, University of Twente, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p.

Research output: Book/ReportReportProfessional

1992

Correctness preserving transformations for the early phases of software development, Proceedings third Lotosphere workshop

Bolognesi, T., de Frutos, D., Langerak, R. & Latella, D., 1992, Pisa: Geen opgaven.

Research output: Book/ReportReportProfessional

1991

Action refinement

Langerak, R., 1 Sep 1991, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

Bundle event structures: a non-interleaving semantics for LOTOS

Langerak, R., 1 Sep 1991, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

Decompositions of functionality

Langerak, R., 1 Sep 1991, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional

From Full to basic LOTOS

Langerak, R., 1 Sep 1991, Enschede: Universiteit Twente.

Research output: Book/ReportReportProfessional