( en | de | ru )

 

Disambiguation of "Langerak, Rom"

Author of the publication

copydeleteadd this publication to your clipboard
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.

, , , , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 220-235. Springer, (2001)

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.

Alexander Rom

Manfred Rom

Tim Rom

Werner Rom

Maximilian Rom

 

Other publications of authors with the same name

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)A Complete Finite Prefix for Process Algebra., and . CAV, volume 1633 of Lecture Notes in Computer Science, page 184-195. Springer, (1999)A Testing Theory for LOTOS using Deadlock Detection.. PSTV, page 87-98. North-Holland, (1989)Decomposition of functionality: a correctness-preserving LOTOS transformation.. PSTV, page 229-242. North-Holland, (1990)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)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)Reachability Analysis of Stochastic Hybrid Systems by Optimal Control., , and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 610-613. Springer, (2008)