Skip to contents

Eijck, Jan van [Editor]

Logic and information flow

Close

Bookmarks

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

Cambridge, Mass. [u.a.]: MIT Press, 1994

Published in: Foundations of computing
Stirling, Colin [Author]; Stirling, Colin P. [Author]

Modal and temporal properties of processes

Close

Bookmarks

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

New York; Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Texts in computer science
Li, Chunping [Author]

Reasoning about processes and continuous change : analysis and implementation - [Als Ms. gedr.]

Close

Bookmarks

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

Aachen: Shaker, 1999

Published in: Berichte aus der Informatik
Burkart, Olaf [Author]

Automatic verification of sequential infinite state processes

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 1354
Ferreira, Fernando [Editor]; Löwe, Benedikt [Other]; Mayordomo, Elvira [Other]; Mendes Gomes, Luís [Other] ; Conference on Computability in Europe 6 2010 Ponta Delgada

Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings

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 ; 6158
Bakker, Jacobus W. de [Editor] ; School Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency 1988 Noordwijkerhout

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 354
Alfaro, Luca de [Other]; DeAlfaro, Luca [Editor] ; PAPM PROBMIV 1 2001 Aachen

Process algebra and probabilistic methods : performance modeling and verification ; joint international workshop ; proceedings

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer-Verlag, 2001

Published in: Lecture notes in computer science ; 2165
Hermanns, Holger [Editor] ; PAPM PROBMIV 2 2002 Kopenhagen

Process algebra and probabilistic methods : performance modeling and verification ; second joint international workshop ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 2399
Zwiers, Jakob [Author]; Zwiers, Job [Author]

Compositionality, concurrency and partial correctness : proof theories for networks of processes and their relationship

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 321
Moller, Faron [Editor] ; Higher Order Workshop 8 1994 Banff, Alberta

Logics for concurrency : structure versus automata; [VIII. Banff Higher Order Workshop, held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada]

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 1043
Drossopoulou, Sophia [Editor] ; ESOP 17 2008 Budapest, ETAPS 11 2008 Budapest

Programming languages and systems : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; proceedings

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 ; 4960
Plotkin, Gordon [Other]; Milner, Robin [Honoree]

Proof, language, and interaction : essays in honour of Robin Milner

Close

Bookmarks

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

Cambridge, Mass.; London: MIT, 2000

Published in: Foundations of computing series
Bradfield, Julian [Author]

Verifying temporal properties of systems

Close

Bookmarks

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

Boston; [Stuttgart] [u.a.]: Birkhäuser, 1992

Published in: Progress in theoretical computer science ; 6
Fokkink, Willem J. [Author]

Modelling distributed systems : with 7 tables

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: Texts in theoretical computer science : an EATCS series
Manna, Zohar [Author]; Pnueli, Amir [Author]

The temporal logic of reactive and concurrent systems : specification

Close

Bookmarks

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

New York; Berlin; Heidelberg [u.a.]: Springer, 1992
Nicola, Rocco De [Other]; De Nicola, Rocco [Editor] ; ESOP 16 2007 Braga, ETAPS 10 2007 Braga

Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings

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 ; 4421
Godefroid, Patrice [Author]

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 1032
Heckel, Reiko [Author]

Open graph transformation systems : a new approach to the compositional modelling of concurrent and reactive systems

Close

Bookmarks

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

1998
Working Conference on Formal Description of Programming Concepts

Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts

Close

Bookmarks

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

Amsterdam [u.a.]: North Holland Publ. Co., 1978-1987 / [1.]1977(1978); 2.1982(1983) - 3.1986(1987)[?]
Esparza, Javier [Author]; Heljanko, Keijo [Author]

Unfoldings : a partial-order approach to model checking

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2008

Published in: Monographs in theoretical computer science : an EATCS series

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