Skip to contents

Gardner, Philippa [Editor] ; CONCUR 15 2004 London

CONCUR 2004 - Concurrency theory : 15th international conference, London, UK, August 31 - September 3, 2004 ; proceedings

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 3170
Gardner, Philippa [Editor]; Geerts, Floris [Other] ; DBPL 12 2009 Lyon

Database programming languages : 12th international symposium, DBPL 2009, Lyon, France, August 24, 2009 ; proceedings

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 5708
Gardner, Philippa [Author] ; Philippa Gardner [Contributor]

Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Felleisen, Matthias [Author] ; Gardner, Philippa [Other]

Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 7792
Gardner, Philippa [Other] ; CONCUR 15 2004 London

CONCUR 2004 - Concurrency Theory : 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 317000
Gardner, Philippa [Author] ; Yoshida, Nobuko [Other]

CONCUR 2004 -- Concurrency Theory : 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Published in: Lecture notes in computer science ; 3170
Gardner, Philippa [Other]; Geerts, Floris [Other]

Database Programming Languages : 12th International Symposium, DBPL 2009, Lyon, France, August 23-24, 2009. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5708
König, Barbara [Author]; Montanari, Ugo [Author]; Gardner, Philippa [Author] ; Barbara König and Ugo Montanari and Philippa Gardner [Contributor]

04241 Abstracts Collection – Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005
Maksimović, Petar [Author]; Cronjäger, Caroline [Author]; Lööw, Andreas [Author]; Sutherland, Julian [Author]; Gardner, Philippa [Author] ; Petar Maksimović and Caroline Cronjäger and Andreas Lööw and Julian Sutherland and Philippa Gardner [Contributor]

Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
D'Osualdo, Emanuele [Author]; Sutherland, Julian [Author]; Farzan, Azadeh [Author]; Gardner, Philippa [Author]

TaDA Live : Compositional Reasoning for Termination of Fine-grained Concurrent Programs

View online
Schließen

Links

... to article via Resolving system

Close

Bookmarks

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

KOPS - The Institutional Repository of the University of Konstanz, 2021-12-31

Published in: ACM Transactions on Programming Languages and Systems. ACM. 2021, 43(4), 16. ISSN 0164-0925. eISSN 1558-4593. Verfügbar unter: doi:10.1145/3477082
D'Osualdo, Emanuele [Author]; Sutherland, Julian [Author]; Farzan, Azadeh [Author]; Gardner, Philippa [Author]

TaDA Live : Compositional Reasoning for Termination of Fine-grained Concurrent Programs

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

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

Konstanz: KOPS Universität Konstanz, 2021
Xiong, Shale [Author]; Cerone, Andrea [Author]; Raad, Azalea [Author]; Gardner, Philippa [Author] ; Shale Xiong and Andrea Cerone and Azalea Raad and Philippa Gardner [Contributor]

Data Consistency in Transactional Storage Systems: A Centralised Semantics

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Sampaio, Gabriela [Author]; Fragoso Santos, José [Author]; Maksimović, Petar [Author]; Gardner, Philippa [Author] ; Gabriela Sampaio and José Fragoso Santos and Petar Maksimović and Philippa Gardner [Contributor]

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Sampaio, Gabriela [Author]; Fragoso Santos, José [Author]; Maksimović, Petar [Author]; Gardner, Philippa [Author] ; Gabriela Sampaio and José Fragoso Santos and Petar Maksimović and Philippa Gardner [Contributor]

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Watt, Conrad [Author]; Maksimović, Petar [Author]; Krishnaswami, Neelakantan R. [Author]; Gardner, Philippa [Author] ; Conrad Watt and Petar Maksimović and Neelakantan R. Krishnaswami and Philippa Gardner [Contributor]

A Program Logic for First-Order Encapsulated WebAssembly

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Ntzik, Gian [Author]; da Rocha Pinto, Pedro [Author]; Sutherland, Julian [Author]; Gardner, Philippa [Author] ; Gian Ntzik and Pedro da Rocha Pinto and Julian Sutherland and Philippa Gardner [Contributor]

A Concurrent Specification of POSIX File Systems

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Birkedal, Lars [Author]; Dreyer, Derek [Author]; Gardner, Philippa [Author]; Shao, Zhong [Author] ; Lars Birkedal and Derek Dreyer and Philippa Gardner and Zhong Shao [Contributor]

Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Lööw, Andreas [Author]; Nantes-Sobrinho, Daniele [Author]; Ayoun, Sacha-Élie [Author]; Maksimović, Petar [Author]; Gardner, Philippa [Author] ; Andreas Lööw and Daniele Nantes-Sobrinho and Sacha-Élie Ayoun and Petar Maksimović and Philippa Gardner [Contributor]

Matching Plans for Frame Inference in Compositional Reasoning

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
Lööw, Andreas [Author]; Nantes-Sobrinho, Daniele [Author]; Ayoun, Sacha-Élie [Author]; Cronjäger, Caroline [Author]; Maksimović, Petar [Author]; Gardner, Philippa [Author] ; Andreas Lööw and Daniele Nantes-Sobrinho and Sacha-Élie Ayoun and Caroline Cronjäger and Petar Maksimović and Philippa Gardner [Contributor]

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
Lööw, Andreas [Author]; Nantes-Sobrinho, Daniele [Author]; Ayoun, Sacha-Élie [Author]; Cronjäger, Caroline [Author]; Karmios, Nat [Author]; Maksimović, Petar [Author]; Gardner, Philippa [Author] ; Andreas Lööw and Daniele Nantes-Sobrinho and Sacha-Élie Ayoun and Caroline Cronjäger and Nat Karmios and Petar Maksimović and Philippa Gardner [Contributor]

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

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

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024

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