( en | de | ru )

 

Disambiguation of "Filipe, Juliana Küster"

Author of the publication

copydeleteadd this publication to your clipboard
Concurrent Logic and Automata Combined: A Semantics for Components.

, and . FOCLASA, volume 175 of Electronic Notes in Theoretical Computer Science, page 135-151. Elsevier, (2006)

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.

Juliana Küster Filipe

Ulrich Küster

Georg Küster

Hermann Küster

Paul Küster

 

Other publications of authors with the same name

Report on the Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA), , , and . Newsletter of the European Association of Software Science and Technology (EASST), (2004)On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic., , , and . LOPSTR, volume 1817 of Lecture Notes in Computer Science, page 42-61. Springer, (1999)Modelling Concurrent Interactions.. AMAST, volume 3116 of Lecture Notes in Computer Science, page 304-318. Springer, (2004)On a time enriched OCL liveness template., and . Int. J. Softw. Tools Technol. Transf., 8 (2): 156-166 (2006)Decomposing Interactions.. AMAST, volume 4019 of Lecture Notes in Computer Science, page 189-203. Springer, (2006)Giving Life to Agent Interactions.. Objects, Agents, and Features, volume 2975 of Lecture Notes in Computer Science, page 98-116. Springer, (2003)Formalizing Liveness-Enriched Sequence Diagrams Using ASMs., and . Abstract State Machines, volume 3052 of Lecture Notes in Computer Science, page 62-77. Springer, (2004)Modelling Mobility with UML2.0 and PEPA Nets., and . ACSD, page 153-164. IEEE Computer Society, (2006)Enriching OCL Using Observational Mu-Calculus., , and . FASE, volume 2306 of Lecture Notes in Computer Science, page 203-217. Springer, (2002)Fundamentals of Module Logic for Distributed Object Systems.. J. Funct. Log. Program., (2000)