HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

1 Einführung.- 1.1 Beispiel eines parallelen Programmes.- 1.2 Programmkorrektheit.- 1.3 Struktur ...

Computers are gaining more and more control over systems that we use or rely on in our daily live...

This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techni...

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains paper...

As computers increasingly control the systems and services we depend upon within our daily lives ...

Real-time systems need to react to certain input stimuli within given time bounds. For example, a...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

As computers increasingly control the systems and services we depend upon within our daily lives ...