Matches in SemOpenAlex for { <https://semopenalex.org/work/W2296258968> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2296258968 endingPage "227" @default.
- W2296258968 startingPage "205" @default.
- W2296258968 abstract "In this paper we consider a calculus of connectors that allows for the most general combination of synchronisation, non-determinism and buffering. According to previous results, this calculus is tightly related to a flavour of Petri nets with interfaces for composition, called Petri nets with boundaries. The calculus and the net version are equipped with equivalent bisimilarity semantics. Also the buffers (the net places) can be one-place (C/E nets) or with unlimited capacity (P/T nets). In the paper we investigate the idea of finding normal form representations for terms of this calculus, in the sense that equivalent (bisimilar) terms should have the same (isomorphic) normal form. We show that this is possible for finite state terms. The result is obtained by computing the minimal marking graph (when finite) for the net with boundaries corresponding to the given term, and reconstructing from it a canonical net and a canonical term." @default.
- W2296258968 created "2016-06-24" @default.
- W2296258968 creator A5022494285 @default.
- W2296258968 creator A5031236056 @default.
- W2296258968 creator A5061468940 @default.
- W2296258968 date "2015-01-01" @default.
- W2296258968 modified "2023-09-26" @default.
- W2296258968 title "A Normal Form for Stateful Connectors" @default.
- W2296258968 cites W1516536200 @default.
- W2296258968 cites W154180254 @default.
- W2296258968 cites W1554285005 @default.
- W2296258968 cites W1554903263 @default.
- W2296258968 cites W2016355163 @default.
- W2296258968 cites W2017662480 @default.
- W2296258968 cites W2027622095 @default.
- W2296258968 cites W2066588870 @default.
- W2296258968 cites W2068361557 @default.
- W2296258968 cites W2072538510 @default.
- W2296258968 cites W2098346263 @default.
- W2296258968 cites W2118023438 @default.
- W2296258968 cites W2131994575 @default.
- W2296258968 cites W2135173989 @default.
- W2296258968 cites W2139842876 @default.
- W2296258968 cites W2140272810 @default.
- W2296258968 cites W2182286275 @default.
- W2296258968 cites W3007770320 @default.
- W2296258968 cites W3098408924 @default.
- W2296258968 cites W36629415 @default.
- W2296258968 cites W4241220941 @default.
- W2296258968 cites W4254746810 @default.
- W2296258968 doi "https://doi.org/10.1007/978-3-319-23165-5_9" @default.
- W2296258968 hasPublicationYear "2015" @default.
- W2296258968 type Work @default.
- W2296258968 sameAs 2296258968 @default.
- W2296258968 citedByCount "0" @default.
- W2296258968 crossrefType "book-chapter" @default.
- W2296258968 hasAuthorship W2296258968A5022494285 @default.
- W2296258968 hasAuthorship W2296258968A5031236056 @default.
- W2296258968 hasAuthorship W2296258968A5061468940 @default.
- W2296258968 hasBestOaLocation W22962589682 @default.
- W2296258968 hasConcept C118615104 @default.
- W2296258968 hasConcept C121332964 @default.
- W2296258968 hasConcept C14166107 @default.
- W2296258968 hasConcept C158379750 @default.
- W2296258968 hasConcept C184337299 @default.
- W2296258968 hasConcept C197551870 @default.
- W2296258968 hasConcept C199343813 @default.
- W2296258968 hasConcept C199360897 @default.
- W2296258968 hasConcept C202444582 @default.
- W2296258968 hasConcept C204707403 @default.
- W2296258968 hasConcept C22927095 @default.
- W2296258968 hasConcept C2524010 @default.
- W2296258968 hasConcept C2777686260 @default.
- W2296258968 hasConcept C31258907 @default.
- W2296258968 hasConcept C33923547 @default.
- W2296258968 hasConcept C38677869 @default.
- W2296258968 hasConcept C41008148 @default.
- W2296258968 hasConcept C61797465 @default.
- W2296258968 hasConcept C62520636 @default.
- W2296258968 hasConcept C71924100 @default.
- W2296258968 hasConceptScore W2296258968C118615104 @default.
- W2296258968 hasConceptScore W2296258968C121332964 @default.
- W2296258968 hasConceptScore W2296258968C14166107 @default.
- W2296258968 hasConceptScore W2296258968C158379750 @default.
- W2296258968 hasConceptScore W2296258968C184337299 @default.
- W2296258968 hasConceptScore W2296258968C197551870 @default.
- W2296258968 hasConceptScore W2296258968C199343813 @default.
- W2296258968 hasConceptScore W2296258968C199360897 @default.
- W2296258968 hasConceptScore W2296258968C202444582 @default.
- W2296258968 hasConceptScore W2296258968C204707403 @default.
- W2296258968 hasConceptScore W2296258968C22927095 @default.
- W2296258968 hasConceptScore W2296258968C2524010 @default.
- W2296258968 hasConceptScore W2296258968C2777686260 @default.
- W2296258968 hasConceptScore W2296258968C31258907 @default.
- W2296258968 hasConceptScore W2296258968C33923547 @default.
- W2296258968 hasConceptScore W2296258968C38677869 @default.
- W2296258968 hasConceptScore W2296258968C41008148 @default.
- W2296258968 hasConceptScore W2296258968C61797465 @default.
- W2296258968 hasConceptScore W2296258968C62520636 @default.
- W2296258968 hasConceptScore W2296258968C71924100 @default.
- W2296258968 hasLocation W22962589681 @default.
- W2296258968 hasLocation W22962589682 @default.
- W2296258968 hasOpenAccess W2296258968 @default.
- W2296258968 hasPrimaryLocation W22962589681 @default.
- W2296258968 hasRelatedWork W1481202007 @default.
- W2296258968 hasRelatedWork W1536150964 @default.
- W2296258968 hasRelatedWork W1540666402 @default.
- W2296258968 hasRelatedWork W1585042602 @default.
- W2296258968 hasRelatedWork W2328371635 @default.
- W2296258968 hasRelatedWork W2369413271 @default.
- W2296258968 hasRelatedWork W2952592063 @default.
- W2296258968 hasRelatedWork W2972287129 @default.
- W2296258968 hasRelatedWork W3048271228 @default.
- W2296258968 hasRelatedWork W2586039792 @default.
- W2296258968 isParatext "false" @default.
- W2296258968 isRetracted "false" @default.
- W2296258968 magId "2296258968" @default.
- W2296258968 workType "book-chapter" @default.