Applying Game Semantics to Compositional Software Modelling and verification
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer LNCS
2004
|
| _version_ | 1797103866654752768 |
|---|---|
| author | Abramsky, S Ghica, D Ong, L Murawski, A |
| author_facet | Abramsky, S Ghica, D Ong, L Murawski, A |
| author_sort | Abramsky, S |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T06:26:05Z |
| format | Conference item |
| id | oxford-uuid:f457af29-7d57-4bb6-8b42-288bd3a56c13 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T06:26:05Z |
| publishDate | 2004 |
| publisher | Springer LNCS |
| record_format | dspace |
| spelling | oxford-uuid:f457af29-7d57-4bb6-8b42-288bd3a56c132022-03-27T12:19:05ZApplying Game Semantics to Compositional Software Modelling and verificationConference itemhttp://purl.org/coar/resource_type/c_5794uuid:f457af29-7d57-4bb6-8b42-288bd3a56c13Department of Computer ScienceSpringer LNCS2004Abramsky, SGhica, DOng, LMurawski, A |
| spellingShingle | Abramsky, S Ghica, D Ong, L Murawski, A Applying Game Semantics to Compositional Software Modelling and verification |
| title | Applying Game Semantics to Compositional Software Modelling and verification |
| title_full | Applying Game Semantics to Compositional Software Modelling and verification |
| title_fullStr | Applying Game Semantics to Compositional Software Modelling and verification |
| title_full_unstemmed | Applying Game Semantics to Compositional Software Modelling and verification |
| title_short | Applying Game Semantics to Compositional Software Modelling and verification |
| title_sort | applying game semantics to compositional software modelling and verification |
| work_keys_str_mv | AT abramskys applyinggamesemanticstocompositionalsoftwaremodellingandverification AT ghicad applyinggamesemanticstocompositionalsoftwaremodellingandverification AT ongl applyinggamesemanticstocompositionalsoftwaremodellingandverification AT murawskia applyinggamesemanticstocompositionalsoftwaremodellingandverification |