PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Bocchi, Laura"

Author of the publication

copydeleteadd this publication to your clipboard
The Sensoria Reference Modelling Language.

, , , and . Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)

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.

Laura Kleckner University of Stuttgart

Laura Schmidberger University of Stuttgart

Laura Elflein University of Stuttgart

Laura Bareiß University of Stuttgart

Laura Balange University of Stuttgart

 

Other publications of authors with the same name

A Use-Case Driven Approach to Formal Service-Oriented Modelling., , and . ISoLA, volume 17 of Communications in Computer and Information Science, page 155-169. Springer, (2008)Preface for the special issue on Interaction and Concurrency Experience 2017., , , and . J. Log. Algebr. Meth. Program., (2019)Atomic Commit and Negotiation in Service Oriented Computing., and . COORDINATION, volume 4038 of Lecture Notes in Computer Science, page 16-27. Springer, (2006)A Formal Approach to Service Component Architecture., , and . WS-FM, volume 4184 of Lecture Notes in Computer Science, page 193-213. Springer, (2006)On the Behaviour of General-Purpose Applications on Cloud Storages., and . WS-FM, volume 8379 of Lecture Notes in Computer Science, page 29-47. Springer, (2013)Attribute-based transactions in service oriented computing., and . Mathematical Structures in Computer Science, 25 (3): 619-665 (2015)An abstract model of service discovery and binding., , and . Formal Asp. Comput., 23 (4): 433-463 (2011)Service-Oriented Modelling of Automotive Systems., , and . COMPSAC, page 1059-1064. IEEE Computer Society, (2008)Algebraic Semantics of Service Component Modules., , and . WADT, volume 4409 of Lecture Notes in Computer Science, page 37-55. Springer, (2006)Amending Contracts for Choreographies, , and . ICE, volume 59 of EPTCS, page 111-129. (2011)