Author of the publication

HeadREST: A Specification Language for RESTful APIs.

, , , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 428-434. Springer, (2019)

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

An algebraic semantics of event-based architectures., and . Math. Struct. Comput. Sci., 17 (5): 1029-1073 (2007)A model for dynamic reconfiguration in service-oriented architectures., and . Softw. Syst. Model., 12 (2): 349-367 (2013)An Interface Theory for Service-Oriented Design., and . FASE, volume 6603 of Lecture Notes in Computer Science, page 18-33. Springer, (2011)The Sensoria Reference Modelling Language., , , and . Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)Specifying and Composing Interaction Protocols for Service-Oriented System Modelling., , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 358-373. Springer, (2007)CommUnity on the Move: Architectures for Distribution and Mobility., and . FMCO, volume 3188 of Lecture Notes in Computer Science, page 177-196. Springer, (2003)Heterogeneous and asynchronous networks of timed systems., and . Theor. Comput. Sci., (2017)Logical Support for Bike-Sharing System Design., , , and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 152-171. Springer, (2019)From BPEL to SRML: A Formal Transformational Approach., , , and . WS-FM, volume 4937 of Lecture Notes in Computer Science, page 92-107. Springer, (2007)Context-Awareness in Software Architectures., and . EWSA, volume 3527 of Lecture Notes in Computer Science, page 146-161. Springer, (2005)