Titlebook: A Decade of Concurrency: Reflections and Perspectives; Reflections and Pers J. W. Bakker,W. -P. Roever,G. Rozenberg Conference proceedings

颶風(fēng)

慷慨援助

思想流動(dòng)

Logical specifications of infinite computations,n mit Mutters Gott seit seiner Kindheit n?herte sich einem Ende in bekennerhafter Gewissheit: ?Wer Kunst und Wissenschaft besitzt, der hat auch Religion“, dieses Goethe-Wort lie? er in einer Wahlwerbung für den Wiener Bürgermeister 1996 inserieren. Er starb pl?tzlich am 9. Juni 2000 im Krankenhaus R

OCTO

顯微鏡

Introduction

Temporal verification of simulation and refinement,978-3-642-94215-0

enlist

Initial algebra and final coalgebra semantics for concurrency,

事物的方面

A Decade of Concurrency: Reflections and PerspectivesReflections and Pers

TRACE

https://doi.org/10.1007/978-3-319-57633-6f directions for future research. The necessary background information on binary decision diagrams, temporal logic, and model checking has been included in order to make the exposition as self-contained as possible.

NICE