Towards a denotational semantics for ET−LOTOS
Main Authors: | , , |
---|---|
Format: | Conference item |
Published: |
1995
|
_version_ | 1797057275119009792 |
---|---|
author | Bryans, J Davies, J Schneider, S |
author_facet | Bryans, J Davies, J Schneider, S |
author_sort | Bryans, J |
collection | OXFORD |
description | |
first_indexed | 2024-03-06T19:33:58Z |
format | Conference item |
id | oxford-uuid:1e687f54-9c55-4034-9014-aba573b8943a |
institution | University of Oxford |
last_indexed | 2024-03-06T19:33:58Z |
publishDate | 1995 |
record_format | dspace |
spelling | oxford-uuid:1e687f54-9c55-4034-9014-aba573b8943a2022-03-26T11:16:10ZTowards a denotational semantics for ET−LOTOSConference itemhttp://purl.org/coar/resource_type/c_5794uuid:1e687f54-9c55-4034-9014-aba573b8943aDepartment of Computer Science1995Bryans, JDavies, JSchneider, S |
spellingShingle | Bryans, J Davies, J Schneider, S Towards a denotational semantics for ET−LOTOS |
title | Towards a denotational semantics for ET−LOTOS |
title_full | Towards a denotational semantics for ET−LOTOS |
title_fullStr | Towards a denotational semantics for ET−LOTOS |
title_full_unstemmed | Towards a denotational semantics for ET−LOTOS |
title_short | Towards a denotational semantics for ET−LOTOS |
title_sort | towards a denotational semantics for et lotos |
work_keys_str_mv | AT bryansj towardsadenotationalsemanticsforetlotos AT daviesj towardsadenotationalsemanticsforetlotos AT schneiders towardsadenotationalsemanticsforetlotos |