( en | de | ru )

 

Disambiguation of "Langerak, Rom"

Author of the publication

copydeleteadd this publication to your clipboard
Partial Order Models for Quantitative Extensions of LOTOS.

, , , and . Comput. Networks, 30 (9-10): 925-950 (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Manfred Rom

Alexander Rom

Tim Rom

Werner Rom

Katharina Rom

 

Other publications of authors with the same name

Bundle event structures: a non-interleaving semantics for LOTOS.. FORTE, volume C-10 of IFIP Transactions, page 331-346. North-Holland, (1992)Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach., , and . FORTE, volume C-22 of IFIP Transactions, page 253-268. North-Holland, (1993)Decomposition of functionality: a correctness-preserving LOTOS transformation.. PSTV, page 229-242. North-Holland, (1990)A Testing Theory for LOTOS using Deadlock Detection.. PSTV, page 87-98. North-Holland, (1989)A Complete Finite Prefix for Process Algebra., and . CAV, volume 1633 of Lecture Notes in Computer Science, page 184-195. Springer, (1999)Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation., and . CDC/ECC, page 4867-4872. IEEE, (2005)A Composition Operator for Systems with Active and Passive Actions., and . FORTE, volume 3731 of Lecture Notes in Computer Science, page 24-37. Springer, (2005)Partial Order Models for Quantitative Extensions of LOTOS., , , and . Comput. Networks, 30 (9-10): 925-950 (1998)Functionality Decomposition by Compositional Correstness Preserving Transformation., , and . CAV, volume 697 of Lecture Notes in Computer Science, page 371-384. Springer, (1993)View Updates in Relational Databases with an Independent Scheme.. ACM Trans. Database Syst., 15 (1): 40-66 (1990)