• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Inter-service Dependency in the Action System Formalism

Mats Neovius, Fredrik Degerlund, Kaisa Sere, Inter-service Dependency in the Action System Formalism. In: Gordon J. Pace, Gerardo Schneider (Eds.), Third Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS’09 , 45 - 53, University of Oslo, Department of Informatics, 2009.

Abstract:

Extended abstract.

BibTeX entry:

@INPROCEEDINGS{inpNeDeSe09a,
  title = {Inter-service Dependency in the Action System Formalism},
  booktitle = {Third Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS’09 },
  author = {Neovius, Mats and Degerlund, Fredrik and Sere, Kaisa},
  editor = {Pace, Gordon J. and Schneider, Gerardo},
  publisher = {University of Oslo, Department of Informatics},
  pages = {45 - 53},
  year = {2009},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication