Research Output 1990 2017

Filter
Report
1997
16 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. TR-CTIT-97-11)

Research output: ProfessionalReport

Semantics
Syntactics
Model structures
1996
1992
1991

Action refinement

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

Research output: ProfessionalReport

Bundle event structures: a non-interleaving semantics for LOTOS

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

Research output: ProfessionalReport

Event structures
Bundle

Decompositions of functionality

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

Research output: ProfessionalReport

Decompose

From Full to basic LOTOS

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

Research output: ProfessionalReport