Author of the publication

A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems.

, , and . Inf. Comput., 144 (2): 83-154 (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.

 

Other publications of authors with the same name

Generative Coordination Environments Supporting Parallel Discrete Event Simulation., and . Parallel Comput., 24 (7): 1047-1080 (1998)Design and Performance Evaluation of a MAC Protocol for Wireless Local Area Networks., , and . Mob. Networks Appl., 2 (1): 69-87 (1997)Performance analysis of a parallel and distributed simulation framework for large scale wireless systems., , , and . MSWiM, page 52-61. ACM, (2004)Collision Avoidance, Contention Control, and Power Saving in IEEE 802.11 Wireless LANs., and . Handbook of Algorithms for Wireless Networking and Mobile Computing, Chapman and Hall/CRC, (2005)A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems., , and . Inf. Comput., 144 (2): 83-154 (1998)Fostering fashion retail experiences through virtual reality and voice assistants., , and . VR Workshops, page 338-342. IEEE, (2020)Architecting families of software systems with process algebras., , and . ACM Trans. Softw. Eng. Methodol., 11 (4): 386-426 (2002)Analysis of a composite performance reliability measure for fault-tolerant systems., and . J. ACM, 34 (1): 179-199 (1987)Models and performance evaluation of event goodput in sensor platforms., and . Comput. Networks, (2017)Bound Performance Models of Heterogeneous Parallel Processing Systems., , and . IEEE Trans. Parallel Distributed Syst., 9 (10): 1041-1056 (1998)