PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cau, Antonio"

Author of the publication

copydeleteadd this publication to your clipboard
A Refinement Calculus for the Development of Real-Time Systems.

, , , , and . APSEC, page 61-. IEEE Computer Society, (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.

Antonio Raiolo University of Stuttgart

Giuliano Antonio Giacoppo University of Stuttgart

Rafael Antonio Lainez Reyes University of Stuttgart

Jesus Antonio Martinez Zarate University of Stuttgart

 

Other publications of authors with the same name

Run-time analysis of time-critical systems., , and . Journal of Systems Architecture, 51 (5): 331-345 (2005)CCA: A Calculus of Context-Aware Ambients., , and . AINA Workshops, page 972-977. IEEE Computer Society, (2009)A Wide-Spectrum Language for Object-Based Development of Real-Time Systems., , , and . Inf. Sci., 118 (1-4): 15-35 (1999)A Refinement Calculus for the Development of Real-Time Systems., , , , and . APSEC, page 61-. IEEE Computer Society, (1998)A Property Based Framework for Trust and Reputation in Mobile Computing., , and . AINA Workshops, page 1031-1036. IEEE Computer Society, (2009)Using Relative Refinement for Fault Tolerance., and . FME, volume 670 of Lecture Notes in Computer Science, page 19-41. Springer, (1993)On Unifying Assumption-Commitment Style Proof Rules for Concurrency., , and . CONCUR, volume 836 of Lecture Notes in Computer Science, page 267-282. Springer, (1994)Refining Interval Temporal Logic Specifications., and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 79-94. Springer, (1997)ASDL: a wide spectrum language for designing web services., , and . WWW, page 687-696. ACM, (2006)Augmenting semantic web service descriptions with compositional specification., , and . WWW, page 544-552. ACM, (2004)