Skip to contents

Roever, Willem-Paul de [Other]

Concurrency verification : introduction to compositional and noncompositional methods - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, UK; New York, NY, USA: Cambridge University Press, 2001

Published in: Cambridge tracts in theoretical computer science ; 54
Roever, Willem-Paul de [Editor] ; COMPOS 1997 Malente

Compositionality : the significant difference ; international symposium, COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997 ; revised lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1536
Stomp, F. A. [Author]; Roever, Willem-Paul de [Author]

A principle for sequential reasoning about distributed algorithms

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9306
Stomp, F. A. [Author]; Roever, Willem-Paul de [Author]

Principles for sequential reasoning about distributed algorithms

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9215
Cau, Antonio [Author]; Roever, Willem-Paul de [Author]

Specifying fault tolerance within Stark's formalism

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1993

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9315
Hooman, Jozef J. [Author]; Roever, Willem-Paul de [Author]

An introduction to compositional methods for concurrency and their application to real-time

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1991

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9109
Hooman, Jozef J. [Author]; Roever, Willem-Paul de [Author]

Verification and specification of concurrent programs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1991

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9111
Boer, Frank S. de [Editor]; Roever, Willem-Paul de [Other] ; FMCO 1 2002 Leiden

Formal methods for components and objects : first international symposium, Leiden, The Netherlands, November 5 - 8, 2002 ; revised lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2852
Bakker, Jacobus W. de [Editor]; Roever, Willem-Paul de [Other] ; REX School Symposium 1993 Noordwijkerhout

A decade of concurrency : reflections and perspectives; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in computer science ; 803
Xu, Qiwen [Author]; Roever, Willem-Paul de [Author]; Jifeng, He [Author]

Rely-guarantee method for verifying shared variable concurrent programs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1995

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9502
Dams, Dennis [Editor]; Roever, Willem-Paul de [Honoree]; Hannemann, Ulrich [Editor]; Steffen, Martin [Editor]; Dams, Dennis René [Editor]

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 5930
Boer, Frank S. de [Editor]; Bonsangue, Marcello M. [Editor]; Graf, Susanne [Editor]; Roever, Willem-Paul de [Editor] ; FMCO 6 2007 Amsterdam

Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5382
Boer, Frank S. de [Other]; Bonsangue, Marcello M. [Other]; Graf, Susanne [Other]; Roever, Willem Paul de [Other]; Boer, Frank S. de [Editor] ; FMCO 5 2006 Amsterdam

Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 ; revised lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4709
Bakker, Jaco W. de [Author] ; Roever, Willem-Paul de [Other]; Rozenberg, Grzegorz [Other]

Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1990

Published in: Lecture notes in computer science ; 430
Bakker, Jacobus W. de [Author] ; Roever, Willem-Paul de [Other]; Rozenberg, Grzegorz [Other]

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1989

Published in: Lecture notes in computer science ; 354
Bakker, Jacobus W. de [Author] ; Roever, Willem-Paul de [Other]; Rozenberg, Grzegorz [Other]

Current Trends in Concurrency : Overviews and Tutorials

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1986

Published in: Lecture notes in computer science ; 224
Schmidt, Heiko [Author] ; Roever, Willem-Paul de [Contributor]; Lüttgen, Gerald [Contributor]

On the role of nondeterminism and refinement in model-driven top-down development of software systems ; Zur Rolle von Nichtdeterminismus und Verfeinerung in der modellgetriebenen Top-Down-Entwicklung von Softwaresystemen

View online
Schließen

Links

https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-43034

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

MACAU: Open Access Repository of Kiel University, 2009
Baukus, Kai [Author] ; Lakhnech, Yassine [Contributor]; de Roever, Willem-Paul [Contributor]

Abstraction-based verification of parameterized networks

View online
Schließen

Links

https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-7492

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

MACAU: Open Access Repository of Kiel University, 2003
Johannsen, Peer [Author] ; Wilke, Thomas [Contributor]; de Roever, Willem-Paul [Contributor]

Speeding up hardware verification by automated data path scaling

View online
Schließen

Links

https://nbn-resolving.org/urn:nbn:de:gbv:8-diss-6698

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

MACAU: Open Access Repository of Kiel University, 2002
Langmaack, Hans [Author] ; Roever, Willem-Paul de [Other]; Vytopil, Jan [Other]

Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1994

Published in: Lecture notes in computer science ; 863

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication