Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514488489> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1514488489 endingPage "23" @default.
- W1514488489 startingPage "5" @default.
- W1514488489 abstract "The specification language Z has been designed to describe data and functional aspects of systems, but it does not define a semantics for specifications in a distributed setting. Process algebras, on the other hand, concentrate on the behaviour of communicating agents. For this reason the combination of Z with a process algebra recently got a lot of attention. In this paper we summarise and categorise the different approaches and identify pitfalls and shortcomings in existing combinations. Thereby we give an overview over the many possible answers to the question: ‘What is the behavioural semantics of a Z specification?’" @default.
- W1514488489 created "2016-06-24" @default.
- W1514488489 creator A5032633165 @default.
- W1514488489 date "1998-01-01" @default.
- W1514488489 modified "2023-10-02" @default.
- W1514488489 title "How to Combine Z with a Process Algebra" @default.
- W1514488489 cites W123523327 @default.
- W1514488489 cites W1481523381 @default.
- W1514488489 cites W1484261756 @default.
- W1514488489 cites W1493315919 @default.
- W1514488489 cites W1503153680 @default.
- W1514488489 cites W1578632748 @default.
- W1514488489 cites W1590898805 @default.
- W1514488489 cites W1593065203 @default.
- W1514488489 cites W1724419839 @default.
- W1514488489 cites W1898524132 @default.
- W1514488489 cites W1940454311 @default.
- W1514488489 cites W1995450284 @default.
- W1514488489 cites W2004442217 @default.
- W1514488489 cites W2006218759 @default.
- W1514488489 cites W2021768695 @default.
- W1514488489 cites W2077548182 @default.
- W1514488489 cites W2095504289 @default.
- W1514488489 cites W2099529102 @default.
- W1514488489 cites W2131784087 @default.
- W1514488489 cites W4254354208 @default.
- W1514488489 cites W4256479719 @default.
- W1514488489 doi "https://doi.org/10.1007/978-3-540-49676-2_2" @default.
- W1514488489 hasPublicationYear "1998" @default.
- W1514488489 type Work @default.
- W1514488489 sameAs 1514488489 @default.
- W1514488489 citedByCount "72" @default.
- W1514488489 countsByYear W15144884892012 @default.
- W1514488489 countsByYear W15144884892013 @default.
- W1514488489 countsByYear W15144884892014 @default.
- W1514488489 countsByYear W15144884892015 @default.
- W1514488489 countsByYear W15144884892017 @default.
- W1514488489 countsByYear W15144884892018 @default.
- W1514488489 countsByYear W15144884892023 @default.
- W1514488489 crossrefType "book-chapter" @default.
- W1514488489 hasAuthorship W1514488489A5032633165 @default.
- W1514488489 hasConcept C161771561 @default.
- W1514488489 hasConcept C184337299 @default.
- W1514488489 hasConcept C199360897 @default.
- W1514488489 hasConcept C41008148 @default.
- W1514488489 hasConcept C98045186 @default.
- W1514488489 hasConceptScore W1514488489C161771561 @default.
- W1514488489 hasConceptScore W1514488489C184337299 @default.
- W1514488489 hasConceptScore W1514488489C199360897 @default.
- W1514488489 hasConceptScore W1514488489C41008148 @default.
- W1514488489 hasConceptScore W1514488489C98045186 @default.
- W1514488489 hasLocation W15144884891 @default.
- W1514488489 hasOpenAccess W1514488489 @default.
- W1514488489 hasPrimaryLocation W15144884891 @default.
- W1514488489 hasRelatedWork W154573017 @default.
- W1514488489 hasRelatedWork W1548537923 @default.
- W1514488489 hasRelatedWork W1563914359 @default.
- W1514488489 hasRelatedWork W1587224678 @default.
- W1514488489 hasRelatedWork W2098737690 @default.
- W1514488489 hasRelatedWork W2166247150 @default.
- W1514488489 hasRelatedWork W2742117384 @default.
- W1514488489 hasRelatedWork W3023376741 @default.
- W1514488489 hasRelatedWork W4243252198 @default.
- W1514488489 hasRelatedWork W44109824 @default.
- W1514488489 isParatext "false" @default.
- W1514488489 isRetracted "false" @default.
- W1514488489 magId "1514488489" @default.
- W1514488489 workType "book-chapter" @default.