Matches in SemOpenAlex for { <https://semopenalex.org/work/W1546840434> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1546840434 abstract "In this paper, we propose a new algorithm for the derivation of a protocol specification in Pr/T-nets, which is the specification of communicating N entities (N can be given), from a given service specification in Pr/T-nets and an allocation of the places of the service specification to the N entities. Our algorithm decomposes each transition of the service specification into a set of communicating Pr/T-subnets running on the N entities. Moreover, for the efficient control of conflict of shared resources, we present a timestamp-based mutual exclusion algorithm and incorporate it into the derivation algorithm." @default.
- W1546840434 created "2016-06-24" @default.
- W1546840434 creator A5082680857 @default.
- W1546840434 creator A5083944273 @default.
- W1546840434 creator A5084448172 @default.
- W1546840434 date "2003-01-01" @default.
- W1546840434 modified "2023-10-16" @default.
- W1546840434 title "Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems" @default.
- W1546840434 cites W1546840434 @default.
- W1546840434 cites W2003887790 @default.
- W1546840434 cites W2026628829 @default.
- W1546840434 cites W2028032512 @default.
- W1546840434 cites W2028927580 @default.
- W1546840434 cites W2068351187 @default.
- W1546840434 cites W2097453795 @default.
- W1546840434 cites W2144988547 @default.
- W1546840434 cites W2171359808 @default.
- W1546840434 cites W4241212268 @default.
- W1546840434 doi "https://doi.org/10.1007/978-3-540-39979-7_26" @default.
- W1546840434 hasPublicationYear "2003" @default.
- W1546840434 type Work @default.
- W1546840434 sameAs 1546840434 @default.
- W1546840434 citedByCount "2" @default.
- W1546840434 crossrefType "book-chapter" @default.
- W1546840434 hasAuthorship W1546840434A5082680857 @default.
- W1546840434 hasAuthorship W1546840434A5083944273 @default.
- W1546840434 hasAuthorship W1546840434A5084448172 @default.
- W1546840434 hasBestOaLocation W15468404341 @default.
- W1546840434 hasConcept C113954288 @default.
- W1546840434 hasConcept C11413529 @default.
- W1546840434 hasConcept C116253237 @default.
- W1546840434 hasConcept C120314980 @default.
- W1546840434 hasConcept C136264566 @default.
- W1546840434 hasConcept C140146324 @default.
- W1546840434 hasConcept C162324750 @default.
- W1546840434 hasConcept C199360897 @default.
- W1546840434 hasConcept C2779167558 @default.
- W1546840434 hasConcept C2780378061 @default.
- W1546840434 hasConcept C31258907 @default.
- W1546840434 hasConcept C41008148 @default.
- W1546840434 hasConcept C56348326 @default.
- W1546840434 hasConcept C80444323 @default.
- W1546840434 hasConcept C90069079 @default.
- W1546840434 hasConceptScore W1546840434C113954288 @default.
- W1546840434 hasConceptScore W1546840434C11413529 @default.
- W1546840434 hasConceptScore W1546840434C116253237 @default.
- W1546840434 hasConceptScore W1546840434C120314980 @default.
- W1546840434 hasConceptScore W1546840434C136264566 @default.
- W1546840434 hasConceptScore W1546840434C140146324 @default.
- W1546840434 hasConceptScore W1546840434C162324750 @default.
- W1546840434 hasConceptScore W1546840434C199360897 @default.
- W1546840434 hasConceptScore W1546840434C2779167558 @default.
- W1546840434 hasConceptScore W1546840434C2780378061 @default.
- W1546840434 hasConceptScore W1546840434C31258907 @default.
- W1546840434 hasConceptScore W1546840434C41008148 @default.
- W1546840434 hasConceptScore W1546840434C56348326 @default.
- W1546840434 hasConceptScore W1546840434C80444323 @default.
- W1546840434 hasConceptScore W1546840434C90069079 @default.
- W1546840434 hasLocation W15468404341 @default.
- W1546840434 hasOpenAccess W1546840434 @default.
- W1546840434 hasPrimaryLocation W15468404341 @default.
- W1546840434 hasRelatedWork W1498547420 @default.
- W1546840434 hasRelatedWork W1594482512 @default.
- W1546840434 hasRelatedWork W1767621068 @default.
- W1546840434 hasRelatedWork W1879928331 @default.
- W1546840434 hasRelatedWork W2018396715 @default.
- W1546840434 hasRelatedWork W2060105961 @default.
- W1546840434 hasRelatedWork W2097514765 @default.
- W1546840434 hasRelatedWork W2121341217 @default.
- W1546840434 hasRelatedWork W2124523436 @default.
- W1546840434 hasRelatedWork W4252828788 @default.
- W1546840434 isParatext "false" @default.
- W1546840434 isRetracted "false" @default.
- W1546840434 magId "1546840434" @default.
- W1546840434 workType "book-chapter" @default.