A compositional logic for protocol correctness
Main Authors: | , , |
---|---|
Format: | Conference item |
Published: |
IEEE
2001
|
_version_ | 1797071207719239680 |
---|---|
author | Durgin, N Mitchell, J Pavlovic, D |
author_facet | Durgin, N Mitchell, J Pavlovic, D |
author_sort | Durgin, N |
collection | OXFORD |
description | |
first_indexed | 2024-03-06T22:50:01Z |
format | Conference item |
id | oxford-uuid:5e72af9f-4d35-4bbc-91f6-c30e33e21501 |
institution | University of Oxford |
last_indexed | 2024-03-06T22:50:01Z |
publishDate | 2001 |
publisher | IEEE |
record_format | dspace |
spelling | oxford-uuid:5e72af9f-4d35-4bbc-91f6-c30e33e215012022-03-26T17:40:54ZA compositional logic for protocol correctnessConference itemhttp://purl.org/coar/resource_type/c_5794uuid:5e72af9f-4d35-4bbc-91f6-c30e33e21501Department of Computer ScienceIEEE2001Durgin, NMitchell, JPavlovic, D |
spellingShingle | Durgin, N Mitchell, J Pavlovic, D A compositional logic for protocol correctness |
title | A compositional logic for protocol correctness |
title_full | A compositional logic for protocol correctness |
title_fullStr | A compositional logic for protocol correctness |
title_full_unstemmed | A compositional logic for protocol correctness |
title_short | A compositional logic for protocol correctness |
title_sort | compositional logic for protocol correctness |
work_keys_str_mv | AT durginn acompositionallogicforprotocolcorrectness AT mitchellj acompositionallogicforprotocolcorrectness AT pavlovicd acompositionallogicforprotocolcorrectness AT durginn compositionallogicforprotocolcorrectness AT mitchellj compositionallogicforprotocolcorrectness AT pavlovicd compositionallogicforprotocolcorrectness |