Author of the publication

A Compositional Semantics for Fault-Tolerant Real-Time Systems.

, and . FTRTFT, volume 571 of Lecture Notes in Computer Science, page 33-51. Springer, (1992)

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

Exception Handling in Process Algebra., , and . NAPAW, page 86-100. Springer, (1992)A Note on Compositional Refinement., , and . Refine, page 342-366. Springer London, (1992)A formal approach to fault-tolerance in distributed real-time systems., and . ACM SIGOPS European Workshop, ACM, (1990)A Compositional Semantics for Fault-Tolerant Real-Time Systems., and . FTRTFT, volume 571 of Lecture Notes in Computer Science, page 33-51. Springer, (1992)Adaptive downtilt for cellular base stations., , and . WSA, page 162-167. IEEE, (2012)Analysis of a polling system modeling QoS differentiation in WLANs., , and . VALUETOOLS, page 44. ICST/ACM, (2008)From Visual Attention Through to Motor Control:Providing a context for physiological models of the cerebellum and pre-frontal co, , , , , , and . Neural Information Processing System Demonstrations, (2003)An upper bound on multi-hop multi-channel wireless network performance., , and . Mobility Conference, page 94. ACM, (2008)Cerebellar glomeruli: Does limited extracellular calcium implement a sparse encoding strategy?, , , and . Proceedings of the 8 th Annual Joint Symposium on Neural Computation, 11, The Salk Institute, La Jolla, CA, Institute for Neural Computation, (July 2001)On the extraocular muscle pulleys: A modeling study, and . International Brain Research Organization Abstracts, (2003)