Volume 55; Issue 1-3

Science of Computer Programming

Volume 55; Issue 1-3
1

Abstract Behavior Types: a foundation model for components and their composition

Farhad Arbab
Journal:
Science of Computer Programming
Year:
2005
Language:
english
File:
PDF, 1.07 MB
english, 2005
2

Composition for component-based modeling

Gregor Gössler, Joseph Sifakis
Journal:
Science of Computer Programming
Year:
2005
Language:
english
File:
PDF, 488 KB
english, 2005
5

Asynchronous system synthesis

J. Plosila, K. Sere, M. Waldén
Journal:
Science of Computer Programming
Year:
2005
Language:
english
File:
PDF, 313 KB
english, 2005
6

Editorial Board

Journal:
Science of Computer Programming
Year:
2005
Language:
english
File:
PDF, 40 KB
english, 2005
7

Author Index

Journal:
Science of Computer Programming
Year:
2005
Language:
english
File:
PDF, 71 KB
english, 2005
8

Preface

Frank de Boer, Marcello Bonsangue
Journal:
Science of Computer Programming
Year:
2005
Language:
english
File:
PDF, 76 KB
english, 2005
9

Formal methods for smart cards: an experience report

C.-B. Breunesse, N. Cataño, M. Huisman, B. Jacobs
Journal:
Science of Computer Programming
Year:
2005
Language:
english
File:
PDF, 364 KB
english, 2005
11

Live and let die: LSC based verification of UML models

Werner Damm, Bernd Westphal
Journal:
Science of Computer Programming
Year:
2005
Language:
english
File:
PDF, 949 KB
english, 2005
12

Specification and (property) inheritance in CSP-OZ

Ernst-Rüdiger Olderog, Heike Wehrheim
Journal:
Science of Computer Programming
Year:
2005
Language:
english
File:
PDF, 319 KB
english, 2005